(* ========================================================================= *)
(* Ondrej Kuncar's HOL Light QBF code.                                       *)
(* ========================================================================= *)

#load "ocamlgraph/graph.cma";;
#directory "+ocamlgraph";;
loads "Minisat/make.ml";;
loads "QBF/mygraph.ml";;
loads "QBF/qbfr.ml";;
loads "QBF/qbf.ml";;