SATv2

An efficient c++ implementation of SASAT algorithm for solving boolean satisfiability problem

Installation

git clone https://github.com/AdamYuan/SATv2.git
cd SATv2
make

./SATv2 -in problems/sample.cnf -mthread #get more information with ./SATv2 -help

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
problems		problems
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
config.hpp		config.hpp
data.cpp		data.cpp
data.hpp		data.hpp
main.cpp		main.cpp
parser.cpp		parser.cpp
parser.hpp		parser.hpp
solver.cpp		solver.cpp
solver.hpp		solver.hpp