<div dir="ltr"><div>Dear Debian-Science-SageMath team,</div><div><br></div><div>Mate Soos is about to release the next version of cryptominisat [0],</div><div>which is an optional package [1] for SageMath. Can anyone here</div><div>do some testing and report at the corresponding github issue [2]</div><div><br></div><div>[0] <a href="https://github.com/msoos/cryptominisat">https://github.com/msoos/cryptominisat</a><br></div><div>[1] <a href="http://files.sagemath.org/spkg/upstream/cryptominisat">http://files.sagemath.org/spkg/upstream/cryptominisat</a></div>[2] <a href="https://github.com/msoos/cryptominisat/issues/456">https://github.com/msoos/cryptominisat/issues/456</a><br><div><br></div><div>Kind regards,</div><div>Samuel Lelièvre</div><div><br></div><div><div>-- </div><div>Samuel Lelièvre -- mathematician -- <a href="http://carva.org/samuel.lelievre">http://carva.org/samuel.lelievre</a></div><div>Laboratoire de mathématique d'Orsay, Université Paris-Sud, France</div><div>- Software Carpentry -- <a href="https://software-carpentry.org">https://software-carpentry.org</a></div><div>- SageMath -- <a href="https://wiki.sagemath.org/slelievre">https://wiki.sagemath.org/slelievre</a></div><div>- OpenDreamKit -- <a href="https://opendreamkit.org">https://opendreamkit.org</a></div><div>- IMAGINARY -- <a href="https://imaginary.org">https://imaginary.org</a></div></div><div><br></div></div>