countAntom  is a multi-threaded #SAT solver based on the antom SAT solver.
The source code and a statically linked binary are available under the files tab.Furthermore we provide the following #SAT specific benchmark collection:
- Fault Injection: Encode the probability of a successful fault injection into a security circuit by clock manipulation .
- Output Probability: Encode the probability that a circuit output is '1' when random inputs are applied.
 Jan Burchard, Tobias Schubert and Bernd Becker: Laissez-Faire Caching for Parallel #SAT Solving in International Conference on Theory and Applications of Satisfiability Testing (SAT) 2015
 Matthias Sauer, Jan Burchard, Tobias Schubert, Ilia Polian and Bernd Becker: Waveform-Guided Fault Injection by Clock Manipulation in TRUDEVICE Workshop 2013