Since I've hit assertion failures and even cores dumped with 4.13.0, downgrading z3 to 4.12.6. This is a potentially breaking (unbreaking) change, so we will cut a separate minor release for this.
[x] [Entries added to ./unreleased/][changelog format] for any new functionality
Since I've hit assertion failures and even cores dumped with 4.13.0, downgrading z3 to 4.12.6. This is a potentially breaking (unbreaking) change, so we will cut a separate minor release for this.
./unreleased/][changelog format] for any new functionality