 | 1 | initial version | |
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?
| | 2 | retagged |
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?
| | 3 | retagged |
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?
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.
