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