New Authentication Rolling Out - We're upgrading our sign-in process to give you one account across all Anaconda products! Browser users will see a refreshed sign-in flow, while CLI users will experience no changes.
Info: This package contains files in non-standard
labels.
osx-64
v1.4.0
win-64
v1.4.0
linux-64
v1.4.0
conda install
To install this package run one of the following: conda install potassco::clingo-dlconda install potassco/label/dev::clingo-dlconda install potassco/label/dev-20::clingo-dl
Description
The clingo-dl solver extends the clingo ASP system with support for difference logic constraints.
