pindakaas 0.2.1

Encoding Integer and Pseudo Boolean constraints into CNF
Documentation