Skip to:
With Z3 4.8.9 one constraint of test 1523 now returns Unknown:
:z3-double-check x = %i.(i:1..10|i+i) & x[{5,j}]={16,10}
With Z3 4.8.9 one constraint of test 1523 now returns Unknown:
:z3-double-check x = %i.(i:1..10|i+i) & x[{5,j}]={16,10}