six

[aiger]
py-aiger-cnf>=2.0.0

[approxmc]
pyapproxmc>=4.1.8

[cryptosat]
pycryptosat>=5.11.18

[pblib]
pypblib>=0.0.3

[unigen]
pyunigen>=4.1.20
