potassco / packages / clingcon

• 0

A solver for logic programs with linear constraints over integers.

• Conda
• Files
• Labels
• Badges