• Peter Housel's avatar
    gabriel: Fix the puzzle benchmark · ed4970c4
    Peter Housel authored and Daniel Kochmański's avatar Daniel Kochmański committed
    According to the comments from Henry Baker and the papers referenced
    from his page, the puzzle benchmark is supposed to arrive at a
    solution in 2005 trials (as measured by *kount*). Due to off-by-one
    and logic errors converting DO to DOTIMES, among other problems, the
    code arrived at an incorrect solution in many fewer trials than are
    actually necessary.
gabriel.lisp 47.7 KB