lducas Merge pull request #10 from lducas/fix_extreme_hints2
0a9caf8 Nov 14, 2022
Merge pull request #10 from lducas/fix_extreme_hints2
Detect extreme hints and reject them
0a9caf8