Shlw / Naive-SAT-Solver

Term project of Logic and Program Verification

Naive-SAT-Solver

Description

DPLL based SAT Solver and CDCL based SAT Solver and combined

Usage

python3 dpll.py <file path>

or

python3 cdcl.py <file path>

or

python3 main.py <file path>

It also supports input from console by leaving <file path> empty.

Input Format

DIMACS-CNF Format

Course

Logic and Program Verification

Test Data

http://www.cs.ubc.ca/~hoos/SATLIB/benchm.html

Detail

See report.pdf