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