![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | sqgame_test2.txt | 2023-10-22 13:46 | 49 | |
![]() | sqgame_test4.txt | 2023-10-22 13:46 | 60 | |
![]() | sqgame_test1.txt | 2023-10-22 13:46 | 69 | |
![]() | sqgame_test6.txt | 2023-10-22 13:46 | 81 | |
![]() | sqgame_test3.txt | 2023-10-22 13:46 | 89 | |
![]() | ex1_4var_5clauses.txt | 2023-09-11 09:52 | 107 | |
![]() | sqgame_test5.txt | 2023-10-22 13:46 | 109 | |
![]() | sqgame_test8.txt | 2023-10-22 13:46 | 114 | |
![]() | sqgame_test7.txt | 2023-10-22 13:46 | 141 | |
![]() | 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_test4.txt | 2023-09-16 20:07 | 405 | |
![]() | 2sat_test6.txt | 2023-09-16 20:07 | 643 | |
![]() | 2sat_test5.txt | 2023-09-16 20:07 | 701 | |
![]() | 2sat_test3.txt | 2023-09-16 20:07 | 922 | |
![]() | SqGame_proj.html | 2023-10-22 13:46 | 2.4K | |
![]() | 2SAT_test8.txt | 2023-09-17 15:21 | 2.4K | |
![]() | Skiplists_proj.html | 2023-11-20 14:39 | 2.5K | |
![]() | 2SAT_test7.txt | 2023-09-17 15:21 | 2.5K | |
![]() | Npairs_dating_proj.html | 2023-11-09 18:03 | 2.7K | |
![]() | 2SAT_proj.html | 2023-09-27 14:26 | 4.8K | |
![]() | Gabe_SquareGame.jar | 2023-10-04 12:04 | 5.0K | |
![]() | Doug_SquareGame.html | 2023-10-06 01:22 | 25K | |
![]() | Gabe_SqGame_jarplay.png | 2023-10-04 12:04 | 33K | |
![]() | 5boards.png | 2023-10-04 12:04 | 34K | |
![]() | 2SAT_hon_20F.pdf | 2023-09-11 09:52 | 86K | |
![]() | hon_pb4_demoscreen.png | 2023-11-20 14:39 | 216K | |
![]() | 2runs.png | 2023-09-27 14:26 | 573K | |
![]() | R5_cycle2.png | 2023-11-05 21:42 | 1.3M | |
![]() | 2CNF_SAT_GraphHint.pdf | 2023-09-11 09:52 | 1.7M | |