z3.rs icon indicating copy to clipboard operation
z3.rs copied to clipboard

Published 20 hours ago • verified publisher icon prove-rs

Feature request: domain, range and params on FuncDecl

Open cassanof opened this issue 3 years ago • 0 comments

It would be nice to have a way of getting these three in the z3 api. I know there are the bindings in z3-sys, but I would need to make my own version. I could work on a pull-request if more people want these.

cassanof avatar Mar 18 '22 04:03 cassanof