Hi,
on the following formula, Z3 throws a segfault.
[540] % z3release small.smt2
Segmentation fault
[541] %
[541] % cat small.smt2
(declare-const a Real)
(assert (> (- (* 2.0 a) (* a a)) 1.0 1.0))
(apply factor)
[542]
OS: Ubuntu 18.04
Commit: 2841796