A lot of updates thanks to new Arjun
Unclaimed project
Are you a maintainer of cryptominisat? Claim this project to take control of your public changelog and roadmap.
Changelog
An advanced SAT solver
Last updated 4 days ago
A lot of updates thanks to new Arjun
Fixing bug wit independent support. Now --onlyindep is no longer needed, it's default and is no longer supported. If you need to run without independent support, simply delete all c ind .. and c p show ... lines in your CNF.
Fixed a number of small, but annoying bugs.
New release that disables the possibility of including experimental libraries.
New release with new build system that does not need boost
:electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS
Bitcoin Core integration/staging tree
GoogleTest - Google Testing and Mocking Framework
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)