z3gi/setup.py at master · milahu/z3gi · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
from setuptools import setup, find_packages

setup(
        name='z3gi',
        version='0.2.1',
        description='Grammatical inference using the Z3 SMT solver',
        long_description=open('README.md').read(),
        url='https://gitlab.science.ru.nl/rick/z3gi/lata',
        author='Rick Smetsers, Paul Fiterau',
        author_email='ricksmet@gmail.com',
        licence='MIT',
        packages=find_packages(exclude=['tests*']),
        install_requires=['z3-solver'],
        classifiers=[
            'Development Status :: 3 - Alpha',
            'Environment :: Console',
            'Intended Audience :: Science/Research',
            'License :: OSI Approved :: MIT License',
            'Operating System :: OS Independent',
            'Programming Language :: Python',
            'Programming Language :: Python :: 3',
            'Topic :: Scientific/Engineering :: Artificial Intelligence',
            ]
        )