Implementation of a DPLL-based SAT solver in Ada, release 25
