Skip to content

CryptoMiniSat 5.7.0
Compare
Choose a tag to compare
@msoos msoos released this 25 Apr 13:50
· 4154 commits to master since this release
5.7.0
914f4ae
  • Improved parameters
  • Hybrid branching strategies
  • and much more
Assets 3
Loading