z3-v0.19.2

toolCHAINZ released this 21 Oct 13:35

· 8 commits to master since this release

d23e8de

Added

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

Contributors

Contributors

willcrichton and toolCHAINZ

Assets 2