Skip to content
Advertisement

Tag: satisfiability

finding max of the numbers in z3 using SMTLIB2

I have 7 cups which contains some water. I need to program these cups to have different amounts of water. Once this is done I need to measure the cup which has the highest amount of water and then remove some quantity (say 2 units of water). c implementations: This will give an answer as c7 = 3.8 I was

Advertisement