project
-
Why do we need SAT solvers?
project ·Introduction
In the past months I have been working on a variety of SAT solvers and model checkers (Rust, Go). I’ve done this mainly as a personal exercise after being introduced to the concept in some university courses. At this point however, I am getting increasingly more convinced the constraint-solving paradigm is a widely underappreciated concept which...