Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
clause.c		clause.c
clause.h		clause.h
compare.py		compare.py
debugPrinter.c		debugPrinter.c
debugPrinter.h		debugPrinter.h
parser.c		parser.c
parser.h		parser.h
queue.c		queue.c
queue.h		queue.h
runsat.sh		runsat.sh
sat.c		sat.c
sat.h		sat.h
satmodelvalidator.py		satmodelvalidator.py
tests.sh		tests.sh
var.c		var.c
var.h		var.h
vector.c		vector.c
vector.h		vector.h

Repository files navigation

SAT-solver

A sat solver for formulas in CNF form

About

A sat solver for formulas in CNF form

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages