GET IN TOUCH

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

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

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

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