search

prove-rs / z3.rs

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

z3-sys: Add more recent regular expression func bindings. #273

Closed waywardmonkeys closed 9 months ago

waywardmonkeys commented 9 months ago

This adds support for Z3_mk_re_allchars, Z3_mk_re_diff, and Z3_mk_re_power.

waywardmonkeys commented 9 months ago

This is needed for issue #272.