/SAT-Solver

Primary LanguagePython

CS202A_Assignment_2: SAT Solver using DPLL Algorithm with Heuristics

Run for a single test case

There are two argument to provide

-f or --file : test case file

-m or --model : get model (0/1)

Example: python3 driver.py -f testcases/uf20-01.cnf -m 1

Run for benchmarking a test suite

Example: python3 benchmark.py -c uf20