add new_const and fresh_const functions to Dynamic

prove-rs / z3.rs

Rust bindings for the Z3 solver.

337 stars 105 forks source link

Closed Philipp15b closed 8 months ago

Philipp15b commented 8 months ago

This is an alternative to #191, fixing #190. I simply added new functions to the existing Dynamic type.

waywardmonkeys commented 8 months ago

If you want to submit a PR that adds more test coverage (or comments with doc tests), that would be great. But I'll merge this for now.

waywardmonkeys commented 8 months ago

Also, thanks for this and the other PR!