Closed ligurio closed 5 days ago
Z3_solver_from_string accepts a string buffer with solver assertions, not a string buffer with filename.
Z3_solver_from_string accepts a string buffer with solver assertions, not a string buffer with filename.