libpcp 0.7.0

A constraint solver supporting arithmetic constraints over integers.
Documentation