
| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| CVS/ | - | 31-Jul-2025 18:24 |
| bounded_coefficients.sc | 723 | 29-Dec-2023 22:07 |
| bounded_coefficients.st | 417 | 29-Dec-2023 22:07 |
| carry_bounded_coefficients.sc | 1034 | 29-Dec-2023 22:07 |
| carry_bounded_coefficients.st | 157 | 29-Dec-2023 22:07 |
| disjunctive_domain.sc | 503 | 29-Dec-2023 22:07 |
| disjunctive_domain.st | 354 | 29-Dec-2023 22:07 |
| feautrier_compressed.sc | 217 | 29-Dec-2023 22:07 |
| feautrier_compressed.st | 158 | 29-Dec-2023 22:07 |
| flat1.sc | 188 | 29-Dec-2023 22:07 |
| flat1.st | 152 | 29-Dec-2023 22:07 |
| flat2.sc | 168 | 29-Dec-2023 22:07 |
| flat2.st | 141 | 29-Dec-2023 22:07 |
| flat3.sc | 180 | 29-Dec-2023 22:07 |
| flat3.st | 172 | 29-Dec-2023 22:07 |
| flat4.sc | 183 | 29-Dec-2023 22:07 |
| flat4.st | 179 | 29-Dec-2023 22:07 |
| flat5.sc | 190 | 29-Dec-2023 22:07 |
| flat5.st | 140 | 29-Dec-2023 22:07 |
| flat6.sc | 192 | 29-Dec-2023 22:07 |
| flat6.st | 140 | 29-Dec-2023 22:07 |
| fork1.sc | 224 | 29-Dec-2023 22:07 |
| fork1.st | 170 | 29-Dec-2023 22:07 |
| fork2.sc | 224 | 29-Dec-2023 22:07 |
| fork2.st | 113 | 29-Dec-2023 22:07 |
| fork3.sc | 326 | 29-Dec-2023 22:07 |
| fork3.st | 517 | 29-Dec-2023 22:07 |
| leyin1.sc | 213 | 29-Dec-2023 22:07 |
| leyin1.st | 251 | 29-Dec-2023 22:07 |
| leyin2a.sc | 674 | 29-Dec-2023 22:07 |
| leyin2a.st | 359 | 29-Dec-2023 22:07 |
| leyin2b.sc | 675 | 29-Dec-2023 22:07 |
| leyin2b.st | 283 | 29-Dec-2023 22:07 |
| max_coincidence.sc | 405 | 29-Dec-2023 22:07 |
| max_coincidence.st | 545 | 29-Dec-2023 22:07 |
| nana.sc | 544 | 29-Dec-2023 22:07 |
| nana.st | 568 | 29-Dec-2023 22:07 |
| niewang.sc | 1789 | 29-Dec-2023 22:07 |
| niewang.st | 1291 | 29-Dec-2023 22:07 |
| nomax_coincidence.sc | 432 | 29-Dec-2023 22:07 |
| nomax_coincidence.st | 438 | 29-Dec-2023 22:07 |
| poliwoda.sc | 3135 | 29-Dec-2023 22:07 |
| poliwoda.st | 614 | 29-Dec-2023 22:07 |