A simple SAT-Solver for CNF formulas based on the DPLL algorithm, implemented entirely in Python using only the standard library. You can interact with it directly from the terminal with the command ...

Add a description, image, and links to the conjunctive-normal-form topic page so that developers can more easily learn about it.