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