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:
- Downloading source and binary releases
- Installation and software requirements
- Changes between releases
- Potassco clingo-dl page
Clingo-dl is distributed under the MIT License.
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.
clingo-dl -c n=132 --propagate=full examples/taskassignment/encoding-dl.lp examples/taskassignment/tai4_4_1.lp