clingo-lpx
A solver for logic programs with linear constraints.
Installation
To install this package, run one of the following:
Usage Tracking
1.3.0
1.2.0
1.1.0
3 / 8 versions selected
Downloads (Last 6 months): 0
Description
The clingo-lpx solver extends the clingo ASP system with support for linear constraints over rational numbers.
About
Summary
A solver for logic programs with linear constraints.
Last Updated
Feb 16, 2024 at 08:55
License
MIT
Total Downloads
141.3K
Version Downloads
30.3K
Supported Platforms
win-64
macOS-64
linux-64
GitHub Repository
https://github.com/potassco/clingo-lpxDocumentation
https://potassco.org/