A solver for logic programs with difference constraints.
conda install conda-forge::clingo-dl
The clingo-dl solver extends the clingo ASP system with support for difference logic constraints.
