gatosat

A gatosat is a cdcl SAT solver written in golang and inspired by minisat. Most parts of the algorithm and data structures are based on minisat.

Under Construction Project

How to install

go get github.com/togatoga/gatosat && go install github.com/togatoga/gatosat

How to use

Solving SAT Problem(.cnf)

# usage: gatosat [<flags>] <input-file> [<output-file>]  

# solve problem.cnf
gatosat problem.cnf
# solve problem.cnf and write the output into output.txt
gatosat problem.cnf output.txt

gatosat --help shows more useful options. Please check it.

Algorithm

CDCL
VSIDS
Luby Restart
Two Literal watching

Name		Name	Last commit message	Last commit date
Latest commit History 101 Commits
test		test
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
clause.go		clause.go
clauseallocator.go		clauseallocator.go
clauseallocator_test.go		clauseallocator_test.go
dimacs.go		dimacs.go
heap.go		heap.go
lit.go		lit.go
main.go		main.go
solver.go		solver.go
solver_test.go		solver_test.go
statistics.go		statistics.go
vardata.go		vardata.go
watcher.go		watcher.go

License

togatoga/gatosat

Folders and files

Latest commit

History

Repository files navigation

gatosat

How to install

How to use

Solving SAT Problem(.cnf)

Algorithm

About

Topics

Resources

License

Stars

Watchers

Forks

Languages