libpcp 0.6.4

A constraint solver supporting arithmetic constraints over integers.
Documentation