Approximate Model Counter
New release to sync with new Arjun and CryptoMiniSat release
Bumping version to bump pypi version
New pip release thanks to Marcel Nageler
Bumping version so CryptoMiniSat's fixes get included in PyPi release
Some improvements, mainly now Arjun is fully enabled by default.
New release with Arjun simplification on by default except for sparsification.
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
New release, due to bug discovered in CryptoMiniSat. To be used with CryptoMiniSat 5358b9ce746cf2759616406f6450eb6cd1e4bf93
, Arjun 407ea7f5c66ee66693fa0d6cda60558d0d554564
.
This version of ApproxMC uses Arjun. It should be used with:
3be6e0f56ce55685e029afb93bfcc2d0800d8c1f
4bd01d210f3121febcd5ba1190271d919c86041e
This is the first release that uses Arjun, our preprocessor.
ApproxMC revision fb373105f159080b9554e9cb652aae9188e03b7e
Arjun revision 6c1744a39471483b9a19faf7d7118f051ebea1e2
CryptoMiniSat revision 4b9296c628883542b1c252929138d71b75ee1da6