GitHub repository: DavePearce/TinyFL
Primary language: Rust
Description: A simple example illustrating the Z3 bindings for Rust.  The purpose of this is to gain experience working directly with Z3.