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.3.0
linux-64
v1.2.0
win-64
v1.2.0
conda install
To install this package run one of the following: conda install potassco::clingo-lpxconda install potassco/label/dev::clingo-lpxconda install potassco/label/dev-20::clingo-lpx
Description
The clingo-lpx solver extends the clingo ASP system with support for difference logic constraints.
