![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| GUI/ | 26-Jul-2006 15:29 | - | |
| Makefile | 25-Jul-2006 19:18 | 350 | |
| b000 | 25-Jul-2006 16:54 | 44 | |
| b010 | 25-Jul-2006 16:54 | 217 | |
| b020 | 25-Jul-2006 16:54 | 354 | |
| b030 | 25-Jul-2006 16:54 | 503 | |
| b040 | 25-Jul-2006 16:54 | 642 | |
| b050 | 25-Jul-2006 16:54 | 786 | |
| b100 | 25-Jul-2006 16:54 | 1.5K | |
| b200 | 25-Jul-2006 16:54 | 3.1K | |
| b300 | 25-Jul-2006 16:54 | 4.9K | |
| b400 | 25-Jul-2006 16:54 | 6.5K | |
| b500 | 25-Jul-2006 16:54 | 8.2K | |
| compress.ml | 25-Jul-2006 19:15 | 1.5K | |
| doit | 25-Jul-2006 19:18 | 81 | |
| r000 | 25-Jul-2006 19:18 | 61 | |
| r010 | 25-Jul-2006 19:18 | 306 | |
| r020 | 25-Jul-2006 19:18 | 1.0K | |
| r030 | 25-Jul-2006 19:18 | 2.0K | |
| r040 | 25-Jul-2006 19:18 | 3.3K | |
| r050 | 25-Jul-2006 19:18 | 5.3K | |
| r100 | 25-Jul-2006 19:18 | 16K | |
| r200 | 25-Jul-2006 19:18 | 65K | |
| r300 | 25-Jul-2006 19:18 | 140K | |
| r400 | 25-Jul-2006 19:18 | 235K | |
| r500 | 25-Jul-2006 19:18 | 333K | |
| solve.ml | 25-Jul-2006 19:12 | 5.0K | |
| solver2.ml | 25-Jul-2006 19:13 | 7.8K | |