pypblib>=0.0.3
six

[aiger]
py-aiger-cnf>=2.0.0
