Theory DPT_SAT_Solver

(*  Title:       DPT (Decision Procedure Toolkit) SAT solver ported to SML
    Author:      Armin Heller, 2008
    Maintainer:  Jasmin Blanchette <blanchette at in.tum.de>
*)

theory DPT_SAT_Solver
imports Main
begin

ML_file ‹dpt_sat_solver.ML›

end