clingo-lp

Community

A solver for logic programs with linear constraints.

Versions

To install this package, run one of the following:

$conda install conda-forge::clingo-lp

Version

1 / 8 versions selected

Downloads (Last 6 months): 0

The clingo-lp solver extends the clingo ASP system with support for linear constraints over rational numbers.

Summary

A solver for logic programs with linear constraints.

Last Updated

Nov 22, 2021 at 18:00

License

MIT

Total Downloads

3.7K

Version Downloads

3.7K

Supported Platforms

noarch

Home

GitHub Repository

Documentation