issues
search
xhajnal
/
DiPS
Multiple properties Probabilistic systems Model checker
BSD 3-Clause "New" or "Revised" License
4
stars
1
forks
source link
z3 is not able to deal with 2 <,>,<=, >=, = in a single constraint
#80
Closed
xhajnal
closed
4 years ago
xhajnal
commented
4 years ago
Solved by decoupling the constraint into two separate constraints
Solved by decoupling the constraint into two separate constraints