clingo-lpx
A solver for logic programs with difference constraints.
Installation
To install this package, run one of the following:
Usage Tracking
1.4.0
1.3.0
1.2.0
1.1.0
1.0.0
5 / 8 versions selected
Downloads (Last 6 months): 0
Description
The clingo-lpx solver extends the clingo ASP system with support for difference logic constraints.
About
Summary
A solver for logic programs with difference constraints.
Last Updated
Feb 7, 2023 at 17:03
License
MIT
Total Downloads
815
Supported Platforms
linux-64
macOS-64
win-64
GitHub Repository
https://github.com/potassco/clingo-lpxDocumentation
https://potassco.org/