12/1/2025
•
EN
SAT Etudes 2: Toy DPLL
A technical exploration of building a toy DPLL SAT solver in Python, discussing its implementation and relation to SMT solvers.