Expose underlying Z3_context and Z3_sort

prove-rs / z3.rs

Rust bindings for the Z3 solver.

337 stars 105 forks source link

Expose underlying Z3_context and Z3_sort #298

Closed JakobR closed 3 months ago

JakobR commented 3 months ago

This would be useful to use functions from the raw bindings that aren't exposed in the high-level bindings yet. Since the raw bindings are unsafe, it should be fine to give access to the Z3_context and Z3_sort.

Closes #290.

waywardmonkeys commented 3 months ago

Thanks! Per #294, we will try to do a new release soon.