ASKSAGE: Sage Q&A Forum - Individual question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Sat, 06 Jun 2015 14:32:08 -0500CryptoMiniSat assertion errorhttp://ask.sagemath.org/question/27039/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
self.solver.add_clause(clause(c))
File "sage/sat/solvers/cryptominisat/cryptominisat.pyx", line 205, in sage.sat.solvers.cryptominisat.cryptominisat.CryptoMiniSat.add_clause (build/cythonized/sage/sat/solvers/cryptominisat/cryptominisat.cpp:1672)
AssertionError
I got to line 205 of sage/sat/solvers/cryptominisat/cryptominisat.pyx and found this:
assert(self._solver.okay())
I found nothing about this in the documentation, so I decided to try some bad practices and commented away the assertion, restarted sage and tried again. I got the same error, referring to a line that is now a comment. I tried to restart my shell but, again, I got the same error.
Has anyone a clue about which could be causing this (the same script worked during the tests, the error just started showing up when I tried to run something serious)Sat, 06 Jun 2015 11:21:20 -0500http://ask.sagemath.org/question/27039/cryptominisat-assertion-error/Comment by FrédéricC for <p>I'm trying to use <code>sage.sat.boolean_polynomials</code> 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:</p>
<pre><code> 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
self.solver.add_clause(clause(c))
File "sage/sat/solvers/cryptominisat/cryptominisat.pyx", line 205, in sage.sat.solvers.cryptominisat.cryptominisat.CryptoMiniSat.add_clause (build/cythonized/sage/sat/solvers/cryptominisat/cryptominisat.cpp:1672)
AssertionError
</code></pre>
<p>I got to line 205 of sage/sat/solvers/cryptominisat/cryptominisat.pyx and found this:</p>
<pre><code>assert(self._solver.okay())
</code></pre>
<p>I found nothing about this in the documentation, so I decided to try some bad practices and commented away the assertion, restarted sage and tried again. I got the same error, referring to a line that is now a comment. I tried to restart my shell but, again, I got the same error.</p>
<p>Has anyone a clue about which could be causing this (the same script worked during the tests, the error just started showing up when I tried to run something serious)</p>
http://ask.sagemath.org/question/27039/cryptominisat-assertion-error/?comment=27044#post-id-27044changing the code will only be taken into account if you do sage -br to re-build sageSat, 06 Jun 2015 14:32:08 -0500http://ask.sagemath.org/question/27039/cryptominisat-assertion-error/?comment=27044#post-id-27044