WinDlx implements binary search algorithm