pub unsafe extern "C" fn Z3_solver_from_string(
    c: Z3_context,
    s: Z3_solver,
    file_name: Z3_string
)
Expand description

load solver assertions from a string.

See also: