Skip to content
This repository has been archived by the owner on Nov 7, 2022. It is now read-only.

Latest commit

 

History

History
30 lines (22 loc) · 708 Bytes

README.md

File metadata and controls

30 lines (22 loc) · 708 Bytes

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