CERBERO A C89 SAT Solver with DRUP Proof A very simple SAT solver, I use this to prove some new concepts, or new ideas, take this like a starter kit.