python-sat[aiger,pblib]
