Explicitly promote BoolExprs and IntExprs in mixed int/real arithmetic using to_real
and ite
.
#86
Job | Run time |
---|---|
1m 11s | |
1m 11s |
to_real
and ite
.
#86
Job | Run time |
---|---|
1m 11s | |
1m 11s |