let check_sat_assuming_cmd _ = failwith "Yices: check_sat_assuming not applicable"