/gatosat

A CDCL SAT solver written in Golang(Go).

Primary LanguageGoMIT LicenseMIT

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