Minisat/make.ml

   1 #load "str.cma";;
   2 loads "Minisat/sat_common_tools.ml";;
   3 loads "Minisat/dimacs_tools.ml";;
   4 loads "Minisat/sat_solvers.ml";;
   5 loads "Minisat/sat_script.ml";;
   6 loads "Minisat/sat_tools.ml";;
   7 loads "Minisat/minisat_parse.ml";;
   8 loads "Minisat/minisat_resolve.ml";;
   9 loads "Minisat/minisat_prove.ml";;