Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

How can I update to latest version of CryptoMiniSat?

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?

How can I update to latest version of CryptoMiniSat?

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?