hz3 v408.2 Release Notes
-
✅ Tested (sort of) with Z3 4.8.8.
- ➕ Added Optimization API. (David Cao)
- ➕ Added Sequences and regular expressions API. (Carlo Nucera)
- Added z3_solver_get_proof. ("0xd34df00d")
- ➕ Added MonadZ3 instance for ReaderT. ("0xd34df00d")
- 🛠 Fixed two typos in docs. (Mauro Bringolf)