Always use `num`, remove `arbitrary-size-numeral` feature.

prove-rs / z3.rs

Rust bindings for the Z3 solver.

338 stars 105 forks source link

Closed waywardmonkeys closed 10 months ago

waywardmonkeys commented 11 months ago

This is always on now.

waywardmonkeys commented 11 months ago

@Pat-Lafon @wtdcode @TheVeryDarkness Any objections to this?