python-sat[aiger,approxmc,cryptosat,pblib]>=0.1.8.dev3
