clingcon
A solver for logic programs with linear constraints over integers.
Installation
To install this package, run one of the following:
Usage Tracking
5.2.1
5.2.0
5.0.0
3 / 8 versions selected
Downloads (Last 6 months): 0
Description
The clingcon solver extends the clingo ASP system with support for linear constraints over Integers.
About
Summary
A solver for logic programs with linear constraints over integers.
Last Updated
Feb 16, 2024 at 08:56
License
MIT
Total Downloads
149.1K
Supported Platforms
macOS-arm64
macOS-64
win-64
linux-64
GitHub Repository
https://github.com/potassco/clingconDocumentation
https://potassco.org/