![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 2CNF_SAT_GraphHint.pdf | 2023-09-11 09:52 | 1.7M | |
| 2SAT_hon_20F.pdf | 2023-09-11 09:52 | 86K | |
| 2SAT_proj.html | 2023-09-27 14:26 | 4.8K | |
| 2SAT_test7.txt | 2023-09-17 15:21 | 2.5K | |
| 2SAT_test8.txt | 2023-09-17 15:21 | 2.4K | |
| 2runs.png | 2023-09-27 14:26 | 573K | |
| 2sat_test0.txt | 2023-09-16 20:07 | 152 | |
| 2sat_test1.txt | 2023-09-16 20:07 | 187 | |
| 2sat_test2.txt | 2023-09-16 20:07 | 241 | |
| 2sat_test3.txt | 2023-09-16 20:07 | 922 | |
| 2sat_test4.txt | 2023-09-16 20:07 | 405 | |
| 2sat_test5.txt | 2023-09-16 20:07 | 701 | |
| 2sat_test6.txt | 2023-09-16 20:07 | 643 | |
| 5boards.png | 2023-10-04 12:04 | 34K | |
| Doug_SquareGame.html | 2023-10-06 01:22 | 25K | |
| Gabe_SqGame_jarplay.png | 2023-10-04 12:04 | 33K | |
| Gabe_SquareGame.jar | 2023-10-04 12:04 | 5.0K | |
| Npairs_dating_proj.html | 2023-11-09 18:03 | 2.7K | |
| R5_cycle2.png | 2023-11-05 21:42 | 1.3M | |
| Skiplists_proj.html | 2023-11-20 14:39 | 2.5K | |
| SqGame_proj.html | 2023-10-22 13:46 | 2.4K | |
| ex1_4var_5clauses.txt | 2023-09-11 09:52 | 107 | |
| hon_pb4_demoscreen.png | 2023-11-20 14:39 | 216K | |
| sqgame_test1.txt | 2023-10-22 13:46 | 69 | |
| sqgame_test2.txt | 2023-10-22 13:46 | 49 | |
| sqgame_test3.txt | 2023-10-22 13:46 | 89 | |
| sqgame_test4.txt | 2023-10-22 13:46 | 60 | |
| sqgame_test5.txt | 2023-10-22 13:46 | 109 | |
| sqgame_test6.txt | 2023-10-22 13:46 | 81 | |
| sqgame_test7.txt | 2023-10-22 13:46 | 141 | |
| sqgame_test8.txt | 2023-10-22 13:46 | 114 | |