Skip to content

ApproxMC 4.1.3
Compare
Choose a tag to compare
@msoos msoos released this 26 Sep 06:34
· 196 commits to master since this release
4.1.3
fe0608e

This version of ApproxMC uses Arjun. It should be used with:

  • CryptoMiniSat revision 3be6e0f56ce55685e029afb93bfcc2d0800d8c1f
  • Arjun revision 4bd01d210f3121febcd5ba1190271d919c86041e
Assets 2
Loading