Wheelodex » Projects » incal

incal

View on PyPI — Reverse Dependencies (0)

1.0.4 incal-1.0.4-py2.py3-none-any.whl

Wheel Details

Project: incal
Version: 1.0.4
Filename: incal-1.0.4-py2.py3-none-any.whl
Download: [link]
Size: 19983
MD5: 2977bc552feb0c74c9dd5373f548674e
SHA256: e6063af7c0ba80eee46329d2faee28c74ff3d91f827856381ae71dd6b0200012
Uploaded: 2020-10-27 14:36:24 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: incal
Version: 1.0.4
Summary: Learning SMT(LRA) formulas
Author: Samuel Kolb
Author-Email: samuel.kolb[at]me.com
Home-Page: https://github.com/smtlearning/incal
License: MIT
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3
Requires-Python: >=3.5.0
Requires-Dist: pywmi
Requires-Dist: numpy
Requires-Dist: typing
Requires-Dist: pysmt
Requires-Dist: matplotlib
Requires-Dist: scikit-learn
Description-Content-Type: text/markdown
[Description omitted; length: 486 characters]

WHEEL

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

RECORD

Path Digest Size
incal/__init__.py sha256=HG9UUqOqFnIeIEIMh8uNYmPtvX2faAUzIJDqC6QA0QA 2935
incal/__main__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
incal/incremental_learner.py sha256=2YJ1mMAYPCRPALLB0a0rRppuA81nl099RnyeUZ0UVNI 3193
incal/k_cnf_smt_learner.py sha256=t6hUcK4t08IEHWlSyfd-Atg46NMm_10_KaGYHEdaJXo 7367
incal/learner.py sha256=p0AdB0p7scjHMO9t4igPEA2RR0cUARfLfHOusGzuLhA 1558
incal/lp_learner_milp.py sha256=BWSZsgn3vyx4QvB2i2GEXkT_jugB80wsbIZ_Sk3vJJA 5988
incal/parameter_free_learner.py sha256=RFcwvMtnYsSCiXoItkHW29i9Fx2p4Of63lalODqkUl4 3180
incal/example/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
incal/example/examples.py sha256=nwk-PqDid-9FLCEvbiVVi6kbP26HAETBE-cmKMZ-Q7c 4307
incal/example/lp_examples.py sha256=J4vWzC1YOGijlhbgcRkmZP3UNn6K5FVhOptnx5tw234 1918
incal/observe/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
incal/observe/inc_logging.py sha256=JczCYfCZIlv0Lt_YA9xneaLn9L3Ix5Ch3ZA1274skyM 2290
incal/observe/observe.py sha256=aJcZgh1_eRbhuKZlve2oV-wxky3zs7nE7BSyhnn4KCU 613
incal/observe/plotting.py sha256=ttZTM431fRlsBy6aXCx-bmUeOwprSKygpWYnpuWVxhc 2577
incal/util/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
incal/util/sampling.py sha256=1tkghioWz7SWPR5NMPdfZ8hibIlmP06H8XJ9ADptXII 1870
incal/util/timeout.py sha256=nQBi14q9RDDKgDRIRl2SVCaAv5GzzARYXTjAj_Y654E 604
incal/violations/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
incal/violations/core.py sha256=C6m2vkLnntpKcHfndv24diEd-OhIhOqPC7NAuol7iEQ 3725
incal/violations/dt_selection.py sha256=ljl1RQhCiNoVGBcdKRDKvrUkaurUtnMg4Nm9cFyUhLU 2751
incal/violations/virtual_data.py sha256=pQ3TGedEBk6yFQUD6pLlLa9QtFSC-YuvWdp55FjH7BI 8195
incal-1.0.4.dist-info/METADATA sha256=Xy39ueh9_pZVSPYTxq_JMDupZiMZhUy3eHv7trENizM 1050
incal-1.0.4.dist-info/WHEEL sha256=ADKeyaGyKF5DwBNE0sRE5pvW-bSkFMJfBuhzZ3rceP4 110
incal-1.0.4.dist-info/entry_points.txt sha256=WRyoMyXg8Vk2LYx5i56cZOkXxZhV_SBo-91uE3rIKEw 110
incal-1.0.4.dist-info/top_level.txt sha256=2CSLZHywtoYdidVbFkQ4LjSMXfu9WAHwHx9q69Fyy3k 6
incal-1.0.4.dist-info/RECORD — —

top_level.txt

incal

entry_points.txt

[console_scripts]
incal-experiments = incal.experiments.cli:main
incal-track = incal.experiments.learn:track