Skip to content

ApproxMC 4.1.9
Compare
Choose a tag to compare
@msoos msoos released this 22 Feb 20:43
· 155 commits to master since this release
4.1.9
f04ef37

This ApproxMC is now using the latest Arjun and CryptoMiniSat (see versions below), which has an improved independent set finding strategy. ApproxMC also has now --withe enabled by default.

Meant to be used with:

  • c CMS SHA revision 9b4ee6f14849f7ea2b9efe2f33b698a3ba203947
  • c Arjun SHA revision 767a829a9808a6b835a96bb19fb3ed587c3b2211
Assets 3
Loading