QBF/make.ml

   1 (* ========================================================================= *)
   2 (* Ondrej Kuncar's HOL Light QBF code.                                       *)
   3 (* ========================================================================= *)
   4
   5 #load "ocamlgraph/graph.cma";;
   6 #directory "+ocamlgraph";;
   7 loads "Minisat/make.ml";;
   8 loads "QBF/mygraph.ml";;
   9 loads "QBF/qbfr.ml";;
  10 loads "QBF/qbf.ml";;