Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Rick Smetsers
z3gi
Commits
d5bd3d39
Commit
d5bd3d39
authored
Nov 19, 2017
by
Paul Fiterau Brostean
Browse files
Setup
parent
34d793d9
Changes
2
Hide whitespace changes
Inline
Side-by-side
setup.py
View file @
d5bd3d39
...
...
@@ -6,7 +6,7 @@ setup(
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'
,
author
=
'Rick Smetsers
, Paul Fiterau
'
,
author_email
=
'ricksmet@gmail.com'
,
licence
=
'MIT'
,
packages
=
find_packages
(
exclude
=
[
'tests*'
,
'docs*'
]),
...
...
@@ -18,7 +18,6 @@ setup(
'License :: OSI Approved :: MIT License'
,
'Operating System :: OS Independent'
,
'Programming Language :: Python'
,
'Programming Language :: Python :: 2.7'
,
'Programming Language :: Python :: 3'
,
'Topic :: Scientific/Engineering :: Artificial Intelligence'
,
]
...
...
z3gi/console.py
View file @
d5bd3d39
"""A
standalone
module for using the z3gi
package
from the command line."""
"""A
client
module for using the z3gi from the command line."""
import
argparse
import
learn.algorithm
as
alg
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment