3 Acknowledgments
The package uses the DPLL(T) framework described in Solving SAT and SAT Modulo Theories: From an abstract Davis–Putnam–Logemann–Loveland procedure to DPLL (T) by R. Nieuwenhuis and A. Oliveras.
The package uses the DPLL(T) framework described in Solving SAT and SAT Modulo Theories: From an abstract Davis–Putnam–Logemann–Loveland procedure to DPLL (T) by R. Nieuwenhuis and A. Oliveras.