mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 17:14:07 +00:00
typo
This commit is contained in:
parent
2bf595cb8f
commit
f0b8da42ad
|
@ -19,7 +19,7 @@ Version 4.8.7
|
|||
It traces, assert, push, pop, check_sat, get_consequences.
|
||||
- Notes
|
||||
- various bug fixes
|
||||
- rewmove model_compress. Use model.compact
|
||||
- remove model_compress. Use model.compact
|
||||
- print weights with quantifiers when weight is != 1
|
||||
|
||||
|
||||
|
|
Loading…
Reference in a new issue