math/adasat: Add new package 25.0.0

Implementation of a DPLL-based SAT solver in Ada
