UWN

icon indicating a website link https://github.com/UWN

icon location UWN_open: item that I believe should be open UWN_blocking: item that blocks further testing

Results 432 comments of UWN

Unexpected failure with `lex_chain/1`

SICStus 4.9 fails for all lists of different length (as far as I can see it). ``` | ?- lex_chain([[],[]]). yes | ?- lex_chain([[],[1]]). no | ?- lex_chain([[1],[]]). no ```

disjoint2/1 succeeds with negative widths and heights

SICStus succeeds. [Obsolescent](https://sicstus.sics.se/sicstus/docs/latest4/html/sicstus.html/Placement-Constraints.html#index-disjoint2_002f_005b1_002c2_005d-_0028clpfd_0029-1).