Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
e9b051238This file is pinned to the selected release. Download the original to open it in your design tool.
And 2
Example 20
SmallFib 124
Fib 109454
Parts 1105589
Sudoku 7325270
KnuthBendix 15874694
CountDown 17334045
Adjoxo 37011608
Cichelli 37547157
Taut 53809264
While 56375459
Braun 66337296
MSS 66411317
Clausify 67003153
OrdList 93588980
Queens 96116306
Queens2 119431395
PermSort 154081426
SumPuz 356561175
Mate2 542663277
Mate 622273335