clingo-dl
A solver for logic programs with difference constraints.
Installation
To install this package, run one of the following:
Usage Tracking
1.5.0
1.4.0
1.3.0
1.2.0
1.1.0
5 / 8 versions selected
Downloads (Last 6 months): 0
Description
The clingo-dl solver extends the clingo ASP system with support for difference logic constraints.
About
Summary
A solver for logic programs with difference constraints.
Last Updated
Sep 11, 2022 at 13:56
License
MIT
Total Downloads
15.6K
Supported Platforms
linux-64
macOS-64
win-64
GitHub Repository
https://github.com/potassco/clingo-dlDocumentation
https://potassco.org/