This program solves the Propositional (Boolean) Satisfiability problem using Depth-First Search algorithm.
Latest commits.
Builders behind this project.
