Shipped this project!
As an exercise in learning C and boolean logic, I made a simple lil DPLL boolean satisfiability solver! It’s not particularly impressive or challenging to be honest (currently experiencing Lots Of Burnout™) so it’s less fancy than my usual standard of work, but still happy that I managed to put something out there :)
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 😌
0
Log in to leave a comment