A solver for logic programs with linear constraints over integers.
There are no labels for this package.
