let cmd_line logic produce_assignments produce_proofs produce_cores produce_interpolants = (* Path and name of Yices executable *) let yices_bin = Flags.Smt.yices_bin () in [| yices_bin |]