# Revision history [back]

### CryptoMiniSat assertion error

I'm trying to use sage.sat.boolean_polynomials to solve a system of equations for my thesis. I'm ok with the fact it uses CryptoMiniSat as default but every time I run my script I get this error:

 Traceback (most recent call last):
File "simon_equations.py", line 104, in <module>
s = alg_attack(p,c)
File "simon_equations.py", line 55, in alg_attack
return solve_sat(F)
File "/home/frollo/sage-6.7/local/lib/python2.7/site-packages/sage/sat/boolean_polynomials.py", line 179, in solve
phi = converter(F)
File "/home/frollo/sage-6.7/local/lib/python2.7/site-packages/sage/sat/converters/polybori.py", line 581, in __call__
self.clauses(f)
File "/home/frollo/sage-6.7/local/lib/python2.7/site-packages/sage/sat/converters/polybori.py", line 538, in clauses
self.clauses_sparse(f)
File "/home/frollo/sage-6.7/local/lib/python2.7/site-packages/sage/sat/converters/polybori.py", line 296, in clauses_sparse

assert(self._solver.okay())