GET IN TOUCH
MC 2023

List of Solvers

Model Counting (MC)

Solver Execution Technique Target Reference Download License
ADDMC SEQ DP PTW+ADD DudekPhanVardi20b Sources MIT
ApproxMC SEQ AC   ChakrabortyEtAl14a Sources MIT
bdd_minisat_all SEQ BDD   TodaSoh15a Sources MIT
c2d SEQ KC d-DNNF Darwiche04a Binaries na
Cachet SEQ CC   SangEtAl04 Sources zchaff
cnf2eadt SEQ KC EADT KoricheLagniezMarquisThomas13a Binaries na
d4 SEQ KC d-DNNF LagniezMarquis17a Sources na
DPMC SEQ DP PTW DudekPhanVardi20a Sources MIT
DSHARP SEQ KC d-DNNF MuiseEtAl12a Sources GPL2
Ganak SEQ CC   SharmaEtAl19a Sources MIT
GPMC SEQ CC   na Sources MIT
miniC2D SEQ KC SDD OztokDarwiche15a Binaries na
mcTW SEQ DP   na Sources MIT
ProCount SEQ DP PTW DudekPhanVardi21 Sources MIT
riss SEQ CC     Sources LGPL
sdd SEQ KC SDD Darwiche11a Binaries na
sharpCDCL SEQ CC   na Sources GPL2
sharpSAT SEQ CC   Thurley06a Sources MIT
SharpSAT-TD SEQ CC   KorhonenJarvisalo21 Sources MIT
SUMC SEQ DP PTW na Sources GPL3
sts SEQ AC   ErmonGomesSelman12a Sources MIT
countAntom PAR CC   BurchardSchubertBecker15a Sources MIT
dpdb PAR DP PTW FichteEtAl20 Sources GPL3
nestHDB PAR DP ATW HecherThierWoltran20 Sources GPL3
gpusat PAR DP PTW/ITW FichteHecherZisser19a Sources GPL3
gpusat-cuda PAR DP PTW FichteHecherRoland21 Sources GPL3
TensorOrder2 PAR DP   DudekVardi20 Sources MIT
dCountAntom DIST CC   BurchardSchubertBecker16a na na
DMC DIST KC d-DNNF LagniezMarquisSzczepanski18a Binaries na

Weighted Model Counting (WMC)

Solver Execution Technique Target Reference Download License
ADDMC SEQ DP PTW+ADD DudekPhanVardi20b Sources MIT
Cachet SEQ CC   SangEtAl04 Sources zchaff
c2d SEQ KC d-DNNF Darwiche04a Binaries na
d4 SEQ KC d-DNNF LagniezMarquis17a Sources na
DPMC SEQ DP PTW DudekPhanVardi20a Sources MIT
Ganak SEQ CC   SharmaEtAl19a Sources MIT
gpusat PAR DP PTW/ITW FichteHecherZisser19a Sources GPL3
TensorOrder2 PAR DP   DudekVardi20 Sources MIT
miniC2D SEQ KC SDD OztokDarwiche15a Binaries na
sts SEQ AC   ErmonGomesSelman12a Sources MIT

Projected Model Counting (PMC)

Solver Execution Technique Target Reference Download License
ADDMC SEQ DP PTW+ADD DudekPhanVardi20b Sources MIT
d4 SEQ KC d-DNNF LagniezMarquis17a Sources na
DPMC SEQ DP PTW DudekPhanVardi20a Sources MIT
nestHDB PAR DP ATW HecherThierWoltran20 Sources GPL3
projMC SEQ KC d-DNNF LagniezMarquis19a Binaries NA
Ganak SEQ CC   SharmaEtAl19a Sources MIT

Projected Weighted Model Counting (PWMC)

Solver Execution Technique Target Reference Download License
DPMC SEQ DP PTW DudekPhanVardi20a Sources MIT
GPMC SEQ CC   na Sources MIT

Literature / References

references.bib