∃∀-dReal How to Compile Requirements OCaml (≥ 4.01.0) batteries (≥ 2.2.0) oasis (≥ 0.4.4) ocamlfind (≥ 1.5.1) git clone git@github.com:dreal/exist_forall.git cd exist_forall/src make How to Use ./ef_main.native <input_file>