let cmd_line logic produce_assignments produce_proofs produce_cores produce_interpolants = (* Path and name of Z3 executable *) let z3_bin = Flags.Smt.z3_bin () in [| z3_bin; "-smt2"; "-in" |]