This program solves the Propositional (Boolean) Satisfiability problem using Depth-First Search algorithm.
Primary LanguageCApache License 2.0Apache-2.0