A high-performance C++17 benchmarking suite comparing classical SAT solving algorithms (CDCL, DPLL, Davis-Putnam, Resolution). Includes a custom DIMACS CNF generator in Python and comprehensive performance metrics for 2SAT and 3SAT instances.

Davis-Putnam algorithm for solving a simple form of an adventure game

In this project, you can see the implementation of the Davis-Putnam (DP) + Davis-Putnam-Logemann-Loveland (DPLL) Algorithms and Resolution to solve SAT problems.

Formal Deduction stuff in Python

Resolution and SAT solver in Prolog with Python GUI