INCAL

INCAL is an incremental SMT constraint learner

Installation

You can either clone the repository from GitHub:

git clone https://github.com/ML-KULeuven/incal.git
git checkout cleanup
pip install -e .

or install incal via pypi:

pip install incal

Depending on the solver you may need to install an SMT solver, which you can do using:

pysmt-install --msat

Or Gurobi, which you need to download and subsequently install into your python environment.

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution for incal 1.0.4
File	Size	Uploaded
incal-1.0.4.tar.gz	15.6 kB	Oct 27, 2020	Details

Table of built distributions (wheels) for incal 1.0.4
File	Interpreter	ABI	Platform	Reset
incal-1.0.4-py2.py3-none-any.whl 20.0 kB Oct 27, 2020	Python 3, Python 2	none	any	Details

Total release size: 35.6 kB

Download URL	incal-1.0.4.tar.gz
Size	15.6 kB
Tags	Source
SHA-256 checksum How to use checksums	`2d325cd2ed330eb43a6d61ec09fb321c9b96b0012e86982f94556f510061a67a`
BLAKE2b-256 checksum How to use checksums	`a2fe52379678bf41ff22588d668f0876f6049827166518ec0f4ef559b73f80bc`
Upload date	Oct 27, 2020
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/3.2.0 pkginfo/1.6.0 requests/2.24.0 setuptools/40.8.0 requests-toolbelt/0.9.1 tqdm/4.51.0 CPython/3.7.9`

Download URL	incal-1.0.4-py2.py3-none-any.whl
Size	20.0 kB
Tags	Python 2 Python 3
SHA-256 checksum How to use checksums	`e6063af7c0ba80eee46329d2faee28c74ff3d91f827856381ae71dd6b0200012`
BLAKE2b-256 checksum How to use checksums	`b6dde5659e94a740c4177e6b08ada5fd8ce5cf3baafc5adf5915f3e6ae48c771`
Upload date	Oct 27, 2020
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/3.2.0 pkginfo/1.6.0 requests/2.24.0 setuptools/40.8.0 requests-toolbelt/0.9.1 tqdm/4.51.0 CPython/3.7.9`