Metadata-Version: 2.1
Name: incal
Version: 0.2.0
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
        
        Documentation coming soon...
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
Provides-Extra: sdd
Provides-Extra: telegram
