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 ()