![[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 | 2025-07-15 07:15 | 723 | |
| bounded_coefficients.st | 2025-07-15 07:15 | 417 | |
| carry_bounded_coefficients.sc | 2025-07-15 07:15 | 1.0K | |
| carry_bounded_coefficients.st | 2025-07-15 07:15 | 157 | |
| disjunctive_domain.sc | 2025-07-15 07:15 | 503 | |
| disjunctive_domain.st | 2025-07-15 07:15 | 354 | |
| feautrier_compressed.sc | 2025-07-15 07:15 | 217 | |
| feautrier_compressed.st | 2025-07-15 07:15 | 158 | |
| flat1.sc | 2025-07-15 07:15 | 188 | |
| flat1.st | 2025-07-15 07:15 | 152 | |
| flat2.sc | 2025-07-15 07:15 | 168 | |
| flat2.st | 2025-07-15 07:15 | 141 | |
| flat3.sc | 2025-07-15 07:15 | 180 | |
| flat3.st | 2025-07-15 07:15 | 172 | |
| flat4.sc | 2025-07-15 07:15 | 183 | |
| flat4.st | 2025-07-15 07:15 | 179 | |
| flat5.sc | 2025-07-15 07:15 | 190 | |
| flat5.st | 2025-07-15 07:15 | 140 | |
| flat6.sc | 2025-07-15 07:15 | 192 | |
| flat6.st | 2025-07-15 07:15 | 140 | |
| fork1.sc | 2025-07-15 07:15 | 224 | |
| fork1.st | 2025-07-15 07:15 | 170 | |
| fork2.sc | 2025-07-15 07:15 | 224 | |
| fork2.st | 2025-07-15 07:15 | 113 | |
| fork3.sc | 2025-07-15 07:15 | 326 | |
| fork3.st | 2025-07-15 07:15 | 517 | |
| max_coincidence.sc | 2025-07-15 07:15 | 405 | |
| max_coincidence.st | 2025-07-15 07:15 | 545 | |
| nana.sc | 2025-07-15 07:15 | 544 | |
| nana.st | 2025-07-15 07:15 | 568 | |
| niewang.sc | 2025-07-15 07:15 | 1.7K | |
| niewang.st | 2025-07-15 07:15 | 1.3K | |
| nomax_coincidence.sc | 2025-07-15 07:15 | 432 | |
| nomax_coincidence.st | 2025-07-15 07:15 | 438 | |
| poliwoda.sc | 2025-07-15 07:15 | 3.1K | |
| poliwoda.st | 2025-07-15 07:15 | 614 | |