[Debian-science-sagemath] Cryptominisat in Debian?

[Samuel Lelièvre]

Dear Debian-Science-SageMath team,

Mate Soos is about to release the next version of cryptominisat [0],
which is an optional package [1] for SageMath. Can anyone here
do some testing and report at the corresponding github issue [2]

[0] https://github.com/msoos/cryptominisat
[1] http://files.sagemath.org/spkg/upstream/cryptominisat
[2] https://github.com/msoos/cryptominisat/issues/456

Kind regards,
Samuel Lelièvre

-- 
Samuel Lelièvre -- mathematician -- http://carva.org/samuel.lelievre
Laboratoire de mathématique d'Orsay, Université Paris-Sud, France
- Software Carpentry -- https://software-carpentry.org
- SageMath -- https://wiki.sagemath.org/slelievre
- OpenDreamKit -- https://opendreamkit.org
- IMAGINARY -- https://imaginary.org
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/debian-science-sagemath/attachments/20180525/83143dba/attachment.html>