mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 09:04:07 +00:00
parent
4601d1d664
commit
d5bd20978b
|
@ -19,6 +19,7 @@ Version 4.12.2
|
|||
implies that the modulus is redundant. This tactic is useful for
|
||||
benchmarks created by converting bit-vector semantics to integer
|
||||
reasoning.
|
||||
- change API function Z3_mk_real to take two int64 as arguments instead of int.
|
||||
|
||||
Version 4.12.1
|
||||
==============
|
||||
|
|
Loading…
Reference in a new issue