Metadata-Version: 2.1
Name: clingo-dl
Version: 1.2.0.post2
Summary: CFFI-based bindings to the clingo-dl solver.
Home-page: https://github.com/potassco/clingo-dl
Author: Roland Kaminski
Author-email: kaminski@cs.uni-potsdam.de
License: MIT
Platform: UNKNOWN
Requires-Python: >=3.6
Description-Content-Type: text/markdown
Requires-Dist: cffi
Requires-Dist: clingo

This package allows for adding the clingo-dl propagator as a
theory to clingo.

It can also be used as a clingo-dl solver running:

    python -m clingodl CLINGODL_ARGUMENTS


