I have already installed a version of Cryptominisat (I don't know how to check the version either but should be around 2.9.5) but Cryptominisat has already advanced to version 5 and there are more built-in functions like setting the number of parallel threads to the solver, but not in my version.
So how can I update cryptominisat to v5?
I am currently working on packaging cryptominisat 5.0.1, i hope to finish it during the Sage Days 86 to be held next week. However, many things changed, not only in the packaging (e.g. dependency on cmake) but there will be also some work in the interfacing with Sage, since cryptominisat now offers its own Python bindings, while Sage has its own cython interface (which does not work with cryptominisat 5). I was thinking of doing that for a while since cryptominisat 2.9.6 does not work on 32bit architecture.
See trac ticket 22817 and trac ticket 22818.
Asked: 2017-04-12 08:24:05 +0200
Seen: 321 times
Last updated: Apr 16 '17
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
