New
CryptoMiniSat 5.11.22
Fixed a number of small, but annoying bugs.
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 about 2 hours ago
Fixed a number of small, but annoying bugs.
: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)