math/clingcon: New port: Extension of clingo to handle constraints over integers
Description
Description
Details
Details
- Provenance
yuri Authored on Sep 14 2022, 3:49 AM - Parents
- R11:53b98b0ec570: math/py-clingo: New port: Grounder and solver for logic programs
- Branches
- Unknown
- Tags