An advanced SAT solver
A simple SAT solver that implements the DPLL algorithm with unit resolution
gradient-based symbolic execution engine implemented from scratch