Expose Z3_get_version in the high-level interface

prove-rs / z3.rs

Rust bindings for the Z3 solver.

337 stars 105 forks source link

Closed JakobR closed 3 months ago

JakobR commented 3 months ago

I like to use this to check that the right Z3 library got linked, so it would be good to have it accessible from the high-level interface.

JakobR commented 3 months ago

The CI failures seem unrelates to this PR.

waywardmonkeys commented 3 months ago

Thanks! And yes, they are ...