1(*****************************************************************************) 2(* HolSatLib.sml *) 3(* *) 4(* MJCG: Tue May 29, 2004 *) 5(* HA : Sun Mar 19, 2006 *) 6(*****************************************************************************) 7 8structure HolSatLib :> HolSatLib = struct 9 10exception SAT_cex = minisatProve.SAT_cex 11 12open satTools dimacsTools SatSolvers minisatProve satConfig 13 14end; 15