pindakaas 0.5.1

Encoding Integer and Pseudo Boolean constraints into CNF
Documentation