libpcp 0.7.0

A constraint solver supporting arithmetic constraints over integers.
Documentation
1
2
% Getting Started