SatPie/Test at master · Kapilhk/SatPie · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
ReadMe		ReadMe
aim50.cnf		aim50.cnf
bmc-1.cnf		bmc-1.cnf
bmc-2.cnf		bmc-2.cnf
bmc-7.cnf		bmc-7.cnf
hole6.cnf		hole6.cnf
par8.cnf		par8.cnf
quinn.cnf		quinn.cnf
sample.cnf		sample.cnf
unsat.cnf		unsat.cnf
unsat1.cnf		unsat1.cnf
unsat2.cnf		unsat2.cnf
unsat3.cnf		unsat3.cnf
zebra.cnf		zebra.cnf

ReadMe

Test Files Here in DIMACS format (.cnf) files