Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
bounded_coefficients.sc | 2023-12-29 23:07 | 723 | ||
bounded_coefficients.st | 2023-12-29 23:07 | 417 | ||
carry_bounded_coefficients.sc | 2023-12-29 23:07 | 1.0K | ||
carry_bounded_coefficients.st | 2023-12-29 23:07 | 157 | ||
disjunctive_domain.sc | 2023-12-29 23:07 | 503 | ||
disjunctive_domain.st | 2023-12-29 23:07 | 354 | ||
feautrier_compressed.sc | 2023-12-29 23:07 | 217 | ||
feautrier_compressed.st | 2023-12-29 23:07 | 158 | ||
flat1.sc | 2023-12-29 23:07 | 188 | ||
flat1.st | 2023-12-29 23:07 | 152 | ||
flat2.sc | 2023-12-29 23:07 | 168 | ||
flat2.st | 2023-12-29 23:07 | 141 | ||
flat3.sc | 2023-12-29 23:07 | 180 | ||
flat3.st | 2023-12-29 23:07 | 172 | ||
flat4.sc | 2023-12-29 23:07 | 183 | ||
flat4.st | 2023-12-29 23:07 | 179 | ||
flat5.sc | 2023-12-29 23:07 | 190 | ||
flat5.st | 2023-12-29 23:07 | 140 | ||
flat6.sc | 2023-12-29 23:07 | 192 | ||
flat6.st | 2023-12-29 23:07 | 140 | ||
fork1.sc | 2023-12-29 23:07 | 224 | ||
fork1.st | 2023-12-29 23:07 | 170 | ||
fork2.sc | 2023-12-29 23:07 | 224 | ||
fork2.st | 2023-12-29 23:07 | 113 | ||
fork3.sc | 2023-12-29 23:07 | 326 | ||
fork3.st | 2023-12-29 23:07 | 517 | ||
leyin1.sc | 2023-12-29 23:07 | 213 | ||
leyin1.st | 2023-12-29 23:07 | 251 | ||
leyin2a.sc | 2023-12-29 23:07 | 674 | ||
leyin2a.st | 2023-12-29 23:07 | 359 | ||
leyin2b.sc | 2023-12-29 23:07 | 675 | ||
leyin2b.st | 2023-12-29 23:07 | 283 | ||
max_coincidence.sc | 2023-12-29 23:07 | 405 | ||
max_coincidence.st | 2023-12-29 23:07 | 545 | ||
nana.sc | 2023-12-29 23:07 | 544 | ||
nana.st | 2023-12-29 23:07 | 568 | ||
niewang.sc | 2023-12-29 23:07 | 1.7K | ||
niewang.st | 2023-12-29 23:07 | 1.3K | ||
nomax_coincidence.sc | 2023-12-29 23:07 | 432 | ||
nomax_coincidence.st | 2023-12-29 23:07 | 438 | ||
poliwoda.sc | 2023-12-29 23:07 | 3.1K | ||
poliwoda.st | 2023-12-29 23:07 | 614 | ||