z3-sys. Rust unsafe bindings to Z3 solver

github.com/snf/z3-sys

by

@snf

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.