search

prove-rs / z3.rs

Rust bindings for the Z3 solver.
337 stars 105 forks source link

Where are the examples #282

Open kallehed opened 8 months ago

kallehed commented 8 months ago

You mention that there are examples at https://docs.rs/z3/latest/z3/index.html but I can not find any...

mirsella commented 8 months ago

Hey ! Maybe the tests can help you https://github.com/prove-rs/z3.rs/tree/master/z3/tests