File Name | File Size | Date |
---|---|---|
Parent directory/ | - | - |
CVS/ | - | 30-Dec-2023 03:01 |
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 |