# CryptoMiniSat assertion error edit

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
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)

edit retag close merge delete
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.20341628789901733, "perplexity": 2965.063264521025}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2021-17/segments/1618038879305.68/warc/CC-MAIN-20210419080654-20210419110654-00472.warc.gz"}