Approxmc Versions Save

Approximate Model Counter

4.1.24

3 months ago

New release to sync with new Arjun and CryptoMiniSat release

4.1.23

5 months ago

Bumping version to bump pypi version

4.1.22

5 months ago

New pip release thanks to Marcel Nageler

4.1.16

7 months ago

Bumping version so CryptoMiniSat's fixes get included in PyPi release

4.1.15

9 months ago

Some improvements, mainly now Arjun is fully enabled by default.

4.1.11

1 year ago

New release with Arjun simplification on by default except for sparsification.

4.1.9

1 year ago

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

4.1.4

1 year ago

New release, due to bug discovered in CryptoMiniSat. To be used with CryptoMiniSat 5358b9ce746cf2759616406f6450eb6cd1e4bf93, Arjun 407ea7f5c66ee66693fa0d6cda60558d0d554564.

4.1.3

1 year ago

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

  • CryptoMiniSat revision 3be6e0f56ce55685e029afb93bfcc2d0800d8c1f
  • Arjun revision 4bd01d210f3121febcd5ba1190271d919c86041e

4.1.2

1 year ago

This is the first release that uses Arjun, our preprocessor.

ApproxMC revision fb373105f159080b9554e9cb652aae9188e03b7e Arjun revision 6c1744a39471483b9a19faf7d7118f051ebea1e2 CryptoMiniSat revision 4b9296c628883542b1c252929138d71b75ee1da6