Extension of clingo to handle constraints over integers
Build failed; an explicit retry is required.
Failure log · · This campaign
Planning log · · This campaign
pkgs/applications/science/logic/potassco/clingcon.nixDirect dependencies
bash-5.2p37catch2-2.13.10clingo-5.8.0cmake-3.31.6sourcestdenv-linuxSelected dependents
None recorded.