z3.rs crate z3 の Rust binding 参考文献 rust-z3-practice/Cargo.toml at master · salmans/rust-z3-practice · GitHub