Ask Your Question

How can I update to latest version of CryptoMiniSat?

asked 2017-04-12 08:24:05 +0100

anonymous user


updated 2023-01-09 23:59:42 +0100

tmonteil gravatar image

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?

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2017-04-16 01:35:51 +0100

tmonteil gravatar image

updated 2017-04-16 03:15:39 +0100

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.

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2017-04-12 08:24:05 +0100

Seen: 320 times

Last updated: Apr 16 '17