liquid-fixpoint-0.2.1.0: external/fixpoint/foo.ml

let main ()
  = let co,ci = Unix.open_process "cvc4 --print-success --incremental" in
    output_string ci "QUERY TRUE;\n";
    let r = input_line co in
    print_endline r
let _ = main ()