Skip to content

📏 Theory propagator for difference logic using clingo's theory language and C++ API.

License

Notifications You must be signed in to change notification settings

potassco/clingo-dl

Repository files navigation

Clingo-dl: A grounder and solver for solving ASP modulo Difference Constraints

tests

Clingo-dl is part of the Potassco project for Answer Set Programming (ASP). It extends ASP with constraints over difference logic and extends the ASP grounder and solver clingo.

Please consult the following resources for further information:

Clingo-dl is distributed under the MIT License.

Usage

clingo-dl [OPTIONS]... [FILE]...

The system accepts all of clingo's options as well as options specific to difference constraints. Use option --help to see the available options.

Furthermore, clingo-dl provides the Python module clingodl.

Example

clingo-dl -c n=132 --propagate=full examples/taskassignment/encoding-dl.lp examples/taskassignment/tai4_4_1.lp