WARP checker for choice correspondences
Random correspondences almost always violate WARP; the rationalizable one never does.
Menu A
Menu B
Show full correspondence (31 menus)