pindakaas 0.4.1

Encoding Integer and Pseudo Boolean constraints into CNF
Documentation