Support consequences API (#302)

prove-rs / z3.rs

Rust bindings for the Z3 solver.

337 stars 105 forks source link

Closed VadeveSi closed 1 month ago

VadeveSi commented 1 month ago

Add consequences, allowing you to derive implied propositions from a set of assumed propositions.

I'm not an expert rust user, feel free to point out any improvements possible.

waywardmonkeys commented 1 month ago

Thanks!