CMD + K
Sign In
Sign Up
conda-forge
/
clingcon
clingcon
Community
A solver for logic programs with linear constraints over integers.
Copied from
cf-post-staging / clingcon
Overview
Files
208
Labels
1
Badges
1 item
Name
Latest Version
main
5.2.1
