DPLL SAT Solver

Just a single devlog for this project as it was a relatively smol one!

As an exercise in learning C and boolean logic, I made a simple lil DPLL boolean satisfiability solver! In less nerdy terms, that means taking a boolean logic expression like this:

“(A or B) and (A and not C)”

And answering the question, “are there values we can assign A/B/C such that the whole expression is true?”. That’s boolean satisfiability!

It’s not the prettiest program in the world (im rawdogging just the logic part by reading in DIMACS CNF format and outputting straight to the terminal), but UI wasn’t the focus for this, tis the numbers that matter here 😌