Label order must be complete
Currently the label order needs to be completely specified. So in case ofSubmitted by Hendrik van Antwerpen on 16 September 2016 at 17:34
X < Y, Y < Z, you should also add
X < Zor resolution will behave incorrectly. The missing pairs should be inferred, and we should check that it is indeed a correct partial order.
This is fixed with the Java solver.
Log in to post comments