clingo-lpx
A solver for logic programs with linear constraints.
Installation
To install this package, run one of the following:
Installation commands are not available for this package.
Usage Tracking
latest
1 / 8 versions selected
Downloads (Last 6 months): 0
About
Summary
A solver for logic programs with linear constraints.
Last Updated
Sep 6, 2025 at 09:04
License
MIT
Total Downloads
0
Version Downloads
0
GitHub Repository
https://github.com/potassco/clingo-lpxDocumentation
https://potassco.org/