What is it?
ApproxMC (version 2) is an approximate model counter for CNF formulas based on our IJCAI-16 paper: http://www.comp.nus.edu.sg/~meel/Papers/ijcai16_counting.pdf
The version 1 can be invoked by setting searchMode to 0 (Use "-h" for more information when running approxmc binary). The version 1 was based on our CP-13 paper.
For more details on our hashing-based approach to sampling and counting, please visit: http://www.kuldeepmeel.com
The Latest Version
The latest version can be downloaded from https://bitbucket.org/kuldeepmeel/approxmc.
ApproxMC is released under MIT License. For more details, please see the file
./approxmc --epsilon=0.8 --delta=0.2 --gaussuntil=400 <input file>
The file ProbMapFile.txt should be in the same directory from which approxmc is being invoked. Both epsilon and delta should be floats between 0 and 1. Epsilon represents the accuracy of the result with respect to the exact answer. (1-delta) is the confidence.
ApproxMC, run on a given CNF file, returns an approximate #SAT result, within epsilon percent of the exact count, with a confidence of (1-delta).
Report issues using bitbucket. Please do not email me.
- Kuldeep Meel (firstname.lastname@example.org)