dpll
An advanced SAT solver
A neural network verification tool based on the DPLL(T) SMT Solving algorithm.
