koba-e964/tmp-rust-z3-test

test repo (trying using z3.rs)

A test project that uses z3.rs.

Before running cargo build, z3 library (libz3.dylib) must be installed.