sergedurand / SatSolver Public

DPLL + TWL Sat Solver and some problems encodings

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 87 Commits
HARD		HARD
LatinSquare		LatinSquare
SAT		SAT
SATb		SATb
SatSolver		SatSolver
UNSAT		UNSAT
UNSATb		UNSATb
UUF175.753.100		UUF175.753.100
ai/hoos/Research/SAT/GenGCP		ai/hoos/Research/SAT/GenGCP
benchmark		benchmark
papers		papers
sat20skel		sat20skel
test_files_1		test_files_1
uf20		uf20
uf50-218		uf50-218
.classpath		.classpath
.gitignore		.gitignore
.project		.project
145solutions		145solutions
BestT.jar		BestT.jar
DPLL2.jar		DPLL2.jar
LICENSE		LICENSE
README.md		README.md
Rapport_Projet_Logique.pdf		Rapport_Projet_Logique.pdf
TODO.txt		TODO.txt
bash.txt		bash.txt
benchmark.jar		benchmark.jar
bf0432-007.cnf		bf0432-007.cnf
bmc.tar		bmc.tar
bmc.tar.gz		bmc.tar.gz
c.out		c.out
flat100-239.tar		flat100-239.tar
flat100-239.tar.gz		flat100-239.tar.gz
flat175-417.tar.gz		flat175-417.tar.gz
flat175.417.100.tar		flat175.417.100.tar
flat200-479.tar.gz		flat200-479.tar.gz
inputslatin_10.cnf		inputslatin_10.cnf
kclique1.cnf		kclique1.cnf
latin_10.cnf		latin_10.cnf
latin_sq_11.cnf		latin_sq_11.cnf
latin_sq_12.cnf		latin_sq_12.cnf
puzzles.sdk.txt		puzzles.sdk.txt
results.out		results.out
sudoku1.cnf		sudoku1.cnf
sudoku145.cnf		sudoku145.cnf
sudoku1_solutions		sudoku1_solutions
sudoku4.cnf		sudoku4.cnf
testThreshold.jar		testThreshold.jar
wikiDLL.cnf		wikiDLL.cnf