Wheelodex » Projects » z3gi

z3gi

View on PyPI — Reverse Dependencies (0)

0.1.1 z3gi-0.1.1-py2.py3-none-any.whl

Wheel Details

Project: z3gi
Version: 0.1.1
Filename: z3gi-0.1.1-py2.py3-none-any.whl
Download: [link]
Size: 15933
MD5: b625815307e834a43da34be6c9e2eff4
SHA256: 64a812c069d3dbf5914743c97aa37687650e8ffaa0e5f0ab30e6038abe554b07
Uploaded: 2017-04-11 11:14:48 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.0
Name: z3gi
Version: 0.1.1
Summary: Grammatical inference using the Z3 SMT solver
Author: Rick Smetsers
Author-Email: ricksmet[at]gmail.com
Home-Page: https://gitlab.science.ru.nl/rick/z3gi
License: MIT
Classifier: Development Status :: 3 - Alpha
Classifier: Environment :: Console
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 2.7
Classifier: Programming Language :: Python :: 3
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Requires-Dist: z3-solver
[Description omitted; length: 4264 characters; fails to render]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.29.0)
Root-Is-Purelib: true
Tag: py2-none-any
Tag: py3-none-any

RECORD

Path Digest Size
z3gi/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
z3gi/__main__.py sha256=EJzTil4D23gJ7qWly5dW4mTB28SgjTv4u-SarqwgkAE 2299
z3gi/sample.py sha256=Ij_46luqbh70brV-bbbeDvtAOZCS8YUpewqXvQaWhpY 1692
z3gi/encoders/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
z3gi/encoders/expressive.py sha256=hqgGHjRTg3DUzjuc7OL3Zoas2N_tf57COFjTuegDBFo 5353
z3gi/encoders/interface.py sha256=35-f8o89zdwaIapJcytP1408xHFRHt0-eccLLkh3j6U 581
z3gi/encoders/mealy.py sha256=UTLkFjYZ8_QLBzmQL1B0x7Zn0HtCq43xo1voZy-KxbU 6152
z3gi/encoders/natural.py sha256=gyughaK5w3S8fmn9ckyolkdeMGLAkq5iUjd_FABqBio 4438
z3gi/encoders/propositional.py sha256=j0TxhuUXQwMmpN2nZ8E9Qp7arICW8lLookYTRseab0o 6843
z3gi/parsers/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
z3gi/parsers/abbadingo.py sha256=DPjUgFmh3kyw-gUIQMmZ7c-zSdpygDoutFbi6S4LbHA 1432
z3gi-0.1.1.dist-info/DESCRIPTION.rst sha256=VzOF1cM122X6OIYXdOPlo49O-Rx1Su9SdW0qn62PZqA 4264
z3gi-0.1.1.dist-info/METADATA sha256=85ABNhlmYtFfZQwhM9zjgwRgy13Qo3X30pgr1BgE-ZM 4968
z3gi-0.1.1.dist-info/RECORD — —
z3gi-0.1.1.dist-info/WHEEL sha256=o2k-Qa-RMNIJmUdIc7KU6VWR_ErNRbWNlxDIpl7lm34 110
z3gi-0.1.1.dist-info/metadata.json sha256=8uNGYNPmLexWLjMv3DlIQ5QrWySLv1FGuWeK_qYTxmI 862
z3gi-0.1.1.dist-info/top_level.txt sha256=A3K8FdflwtFysoPVVR6h4a701CkiTlvpaVU9sIz4v20 5

top_level.txt

z3gi