This is the API documentation for dpll_solver-0.0.1 Documentation.