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 AdamYuan support generalization sat problem Jun 16, 2019 e69384d · Jun 16, 2019 History 15 Commits
problems	problems	change file permission	Feb 2, 2018
LICENSE	LICENSE	Initial commit	Feb 2, 2018
Makefile	Makefile	support generalization sat problem	Jun 16, 2019
README.md	README.md	support generalization sat problem	Jun 16, 2019
config.hpp	config.hpp	support generalization sat problem	Jun 16, 2019
data.cpp	data.cpp	performance imporved	Jun 15, 2019
data.hpp	data.hpp	support generalization sat problem	Jun 16, 2019
main.cpp	main.cpp	support generalization sat problem	Jun 16, 2019
parser.cpp	parser.cpp	support generalization sat problem	Jun 16, 2019
parser.hpp	parser.hpp	support generalization sat problem	Jun 16, 2019
solver.cpp	solver.cpp	support generalization sat problem	Jun 16, 2019
solver.hpp	solver.hpp	performance imporved	Jun 15, 2019