New
CryptoMiniSat 5.11.20
New release with new build system that does not need boost
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
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
GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.
ClickHouse® is a real-time analytics database management system