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