z3-v0.19.2
Added
- Add
Datatype::update_field,FuncDecl::domain,FuncDecl::range(#455) (by @willcrichton) - #455 - impl Default for Solver, Optimize, and Parser (#456) (by @toolCHAINZ) - #456
Datatype::update_field, FuncDecl::domain, FuncDecl::range (#455) (by @willcrichton) - #455