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