![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| bounded_coefficients.sc | 2023-12-30 07:07 | 723 | |
| bounded_coefficients.st | 2023-12-30 07:07 | 417 | |
| carry_bounded_coefficients.sc | 2023-12-30 07:07 | 1.0K | |
| carry_bounded_coefficients.st | 2023-12-30 07:07 | 157 | |
| disjunctive_domain.sc | 2023-12-30 07:07 | 503 | |
| disjunctive_domain.st | 2023-12-30 07:07 | 354 | |
| feautrier_compressed.sc | 2023-12-30 07:07 | 217 | |
| feautrier_compressed.st | 2023-12-30 07:07 | 158 | |
| flat1.sc | 2023-12-30 07:07 | 188 | |
| flat1.st | 2023-12-30 07:07 | 152 | |
| flat2.sc | 2023-12-30 07:07 | 168 | |
| flat2.st | 2023-12-30 07:07 | 141 | |
| flat3.sc | 2023-12-30 07:07 | 180 | |
| flat3.st | 2023-12-30 07:07 | 172 | |
| flat4.sc | 2023-12-30 07:07 | 183 | |
| flat4.st | 2023-12-30 07:07 | 179 | |
| flat5.sc | 2023-12-30 07:07 | 190 | |
| flat5.st | 2023-12-30 07:07 | 140 | |
| flat6.sc | 2023-12-30 07:07 | 192 | |
| flat6.st | 2023-12-30 07:07 | 140 | |
| fork1.sc | 2023-12-30 07:07 | 224 | |
| fork1.st | 2023-12-30 07:07 | 170 | |
| fork2.sc | 2023-12-30 07:07 | 224 | |
| fork2.st | 2023-12-30 07:07 | 113 | |
| fork3.sc | 2023-12-30 07:07 | 326 | |
| fork3.st | 2023-12-30 07:07 | 517 | |
| leyin1.sc | 2023-12-30 07:07 | 213 | |
| leyin1.st | 2023-12-30 07:07 | 251 | |
| leyin2a.sc | 2023-12-30 07:07 | 674 | |
| leyin2a.st | 2023-12-30 07:07 | 359 | |
| leyin2b.sc | 2023-12-30 07:07 | 675 | |
| leyin2b.st | 2023-12-30 07:07 | 283 | |
| max_coincidence.sc | 2023-12-30 07:07 | 405 | |
| max_coincidence.st | 2023-12-30 07:07 | 545 | |
| nana.sc | 2023-12-30 07:07 | 544 | |
| nana.st | 2023-12-30 07:07 | 568 | |
| niewang.sc | 2023-12-30 07:07 | 1.7K | |
| niewang.st | 2023-12-30 07:07 | 1.3K | |
| nomax_coincidence.sc | 2023-12-30 07:07 | 432 | |
| nomax_coincidence.st | 2023-12-30 07:07 | 438 | |
| poliwoda.sc | 2023-12-30 07:07 | 3.1K | |
| poliwoda.st | 2023-12-30 07:07 | 614 | |