Metadata-Version: 2.1
Name: clingcon
Version: 5.0.0
Summary: CFFI-based bindings to the clingcon solver.
Home-page: https://github.com/potassco/clingcon
Author: Roland Kaminski
Author-email: kaminski@cs.uni-potsdam.de
License: MIT
Description: This package allows for adding the clingcon propagator as a
        theory to clingcon.
        
        It can also be used as a clingcon solver running:
        
            python -m clingcon CLINGCON_ARGUMENTS
        
Platform: UNKNOWN
Requires-Python: >=3.6
Description-Content-Type: text/markdown
