py-aiger-cnf>=2.0.0
pindakaas>=0.6.1
six
