pub async fn solve(
z3_bin: &PathBuf,
smt_input: &str,
timeout_secs: u64,
) -> SolveResultExpand description
Run z3 on SMT-LIB2 input
pub async fn solve(
z3_bin: &PathBuf,
smt_input: &str,
timeout_secs: u64,
) -> SolveResultRun z3 on SMT-LIB2 input