Missing Exposure of Z3_context and Z3_sort in Recent Z3 Crate Versions

[zhristophe]

In a previous commit (1252af7 on May 29), there was an implementation that exposed the underlying Z3_context and Z3_sort. However, this functionality is not present in the latest z3 0.12.1 crate, and it is also not reflected in the docs.rs/z3/latest/src/z3/context.rs file.

This feature is crucial for my current project workflow and its absence significantly impacts my development process. Please help me :(

Thank you for your attention to this matter.

[toolCHAINZ]

This will be resolved when #294 is closed; it's been quite some time since this library was last pushed to crates.io, so the latest published version is missing a lot of changes (including the one you're hitting).

In the meantime, you can always depend on the master branch of this git repo, or a specific commit, in your Cargo.toml.