CMD + K
potassco/clingcon

clingcon

Community

A solver for logic programs with linear constraints over integers.

Installation

To install this package, run one of the following:

Conda
$conda install potassco::clingcon

Usage Tracking

5.3.0
5.2.1
5.2.0
5.0.0
4 / 8 versions selected
Downloads (Last 6 months): 0

Description

The clingcon solver extends the clingo ASP system with support for linear constraints over integers.

About

Summary

A solver for logic programs with linear constraints over integers.

Last Updated

Sep 11, 2022 at 13:24

License

MIT

Total Downloads

6.2K

Supported Platforms

linux-64
macOS-64
win-64

Home

https://potassco.org/

GitHub Repository

https://github.com/potassco/clingcon

Documentation

https://potassco.org/