#load "str.cma";;
loads "Minisat/satCommonTools.ml";;
loads "Minisat/dimacsTools.ml";;
loads "Minisat/SatSolvers.ml";;
loads "Minisat/satScript.ml";;
loads "Minisat/satTools.ml";;
loads "Minisat/minisatParse.ml";;
loads "Minisat/minisatResolve.ml";;
loads "Minisat/minisatProve.ml";;
