Skip to content

CryptoMiniSat 5.11.2
Compare
Choose a tag to compare
@msoos msoos released this 26 Sep 06:17
· 651 commits to master since this release
5.11.2
3be6e0f

This is a new release with a number of improvements, including irregular-gate and ITE based BVE and a number of improvements that can be useful if used as a library, especially in conjunction with Arjun, our new tool.

Windows binary thanks to Axel Kemper!

Assets 3
Loading