search

prove-rs / z3.rs

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

feat: creating reals from numeral strings #307

Open lucascool12 opened 1 month ago

lucascool12 commented 1 month ago

Adds method from_str to Reals. This adds the possibility to create reals from any numeral. Currently only from_real_str exists which expects a numerator and a denominator.

edit: add description.