ParentFull threadsesuximo·I’d recommend reading about DPLL and CDCL. These are relatively simple concepts that you can code up yourselfView on HN