|
Go up
|
— |
— |
|
|
bounded_coefficients.sc
|
723 B |
|
|
|
bounded_coefficients.st
|
417 B |
|
|
|
carry_bounded_coefficients.sc
|
1.0 KiB |
|
|
|
carry_bounded_coefficients.st
|
157 B |
|
|
|
disjunctive_domain.sc
|
503 B |
|
|
|
disjunctive_domain.st
|
354 B |
|
|
|
feautrier_compressed.sc
|
217 B |
|
|
|
feautrier_compressed.st
|
158 B |
|
|
|
flat1.sc
|
188 B |
|
|
|
flat1.st
|
152 B |
|
|
|
flat2.sc
|
168 B |
|
|
|
flat2.st
|
141 B |
|
|
|
flat3.sc
|
180 B |
|
|
|
flat3.st
|
172 B |
|
|
|
flat4.sc
|
183 B |
|
|
|
flat4.st
|
179 B |
|
|
|
flat5.sc
|
190 B |
|
|
|
flat5.st
|
140 B |
|
|
|
flat6.sc
|
192 B |
|
|
|
flat6.st
|
140 B |
|
|
|
fork1.sc
|
224 B |
|
|
|
fork1.st
|
170 B |
|
|
|
fork2.sc
|
224 B |
|
|
|
fork2.st
|
113 B |
|
|
|
fork3.sc
|
326 B |
|
|
|
fork3.st
|
517 B |
|
|
|
max_coincidence.sc
|
405 B |
|
|
|
max_coincidence.st
|
545 B |
|
|
|
nana.sc
|
544 B |
|
|
|
nana.st
|
568 B |
|
|
|
niewang.sc
|
1.7 KiB |
|
|
|
niewang.st
|
1.3 KiB |
|
|
|
nomax_coincidence.sc
|
432 B |
|
|
|
nomax_coincidence.st
|
438 B |
|
|
|
poliwoda.sc
|
3.1 KiB |
|
|
|
poliwoda.st
|
614 B |
|
|