Metadata-Version: 2.1
Name: incal
Version: 1.0.2
Summary: Learning SMT(LRA) formulas
Home-page: https://github.com/smtlearning/incal
Author: Samuel Kolb
Author-email: samuel.kolb@me.com
License: MIT
Platform: UNKNOWN
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3
Requires-Python: >=3.5.0
Description-Content-Type: text/markdown
Requires-Dist: pywmi
Requires-Dist: numpy
Requires-Dist: typing
Requires-Dist: pysmt
Requires-Dist: matplotlib
Requires-Dist: scikit-learn

# 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.


