Index of /results/gentoo/stats/ebuild_eclass_statistics/sort-by-package/sci-mathematics/
../
4ti2.txt 06-Dec-2025 01:50 160
abc.txt 06-Dec-2025 01:50 176
acl2.txt 06-Dec-2025 01:50 171
alectryon.txt 06-Dec-2025 01:50 107
alt-ergo.txt 06-Dec-2025 01:50 98
arb.txt 06-Dec-2025 01:50 132
bertini.txt 06-Dec-2025 01:50 202
btor2tools.txt 06-Dec-2025 01:50 101
cadabra.txt 06-Dec-2025 01:50 327
cadical.txt 06-Dec-2025 01:50 186
calc.txt 06-Dec-2025 01:50 87
cgal.txt 06-Dec-2025 01:50 364
clipper2.txt 06-Dec-2025 01:50 236
coq-serapi.txt 06-Dec-2025 01:50 99
coq-stdlib.txt 06-Dec-2025 01:50 88
coq.txt 06-Dec-2025 01:50 672
cryptominisat.txt 06-Dec-2025 01:50 110
cubicle.txt 06-Dec-2025 01:50 114
cvc4.txt 06-Dec-2025 01:50 80
dataplot.txt 06-Dec-2025 01:50 128
dsfmt.txt 06-Dec-2025 01:50 110
dunshire.txt 06-Dec-2025 01:50 80
easycrypt.txt 06-Dec-2025 01:50 198
ent.txt 06-Dec-2025 01:50 83
eprover.txt 06-Dec-2025 01:50 181
euler.txt 06-Dec-2025 01:50 84
fann.txt 06-Dec-2025 01:50 173
flint.txt 06-Dec-2025 01:50 267
flocq.txt 06-Dec-2025 01:50 86
form.txt 06-Dec-2025 01:50 282
fricas.txt 06-Dec-2025 01:50 113
frobby.txt 06-Dec-2025 01:50 91
gap.txt 06-Dec-2025 01:50 269
gappa.txt 06-Dec-2025 01:50 182
gappalib-coq.txt 06-Dec-2025 01:50 203
genius.txt 06-Dec-2025 01:50 68
geogebra-bin.txt 06-Dec-2025 01:50 214
geomview.txt 06-Dec-2025 01:50 117
gfan.txt 06-Dec-2025 01:50 200
giac.txt 06-Dec-2025 01:50 152
gimps.txt 06-Dec-2025 01:50 642
ginac.txt 06-Dec-2025 01:50 102
glpk.txt 06-Dec-2025 01:50 186
gmp-ecm.txt 06-Dec-2025 01:50 125
gretl.txt 06-Dec-2025 01:50 109
gsl-shell.txt 06-Dec-2025 01:50 103
jags.txt 06-Dec-2025 01:50 97
kind2.txt 06-Dec-2025 01:50 89
kissat.txt 06-Dec-2025 01:50 91
lcalc.txt 06-Dec-2025 01:50 110
lean.txt 06-Dec-2025 01:50 229
libpoly.txt 06-Dec-2025 01:50 98
lpsolve.txt 06-Dec-2025 01:50 114
manifold.txt 06-Dec-2025 01:50 375
mathematica.txt 06-Dec-2025 01:50 1752
mathmod.txt 06-Dec-2025 01:50 194
mathomatic.txt 06-Dec-2025 01:50 113
maxima.txt 06-Dec-2025 01:50 468
metamath.txt 06-Dec-2025 01:50 86
minisat.txt 06-Dec-2025 01:50 71
msieve.txt 06-Dec-2025 01:50 190
nauty.txt 06-Dec-2025 01:50 83
nestedsums.txt 06-Dec-2025 01:50 114
normaliz.txt 06-Dec-2025 01:50 288
octave.txt 06-Dec-2025 01:50 165
opensmt.txt 06-Dec-2025 01:50 160
otter.txt 06-Dec-2025 01:50 88
palp.txt 06-Dec-2025 01:50 142
pari.txt 06-Dec-2025 01:50 471
petsc.txt 06-Dec-2025 01:50 426
picosat.txt 06-Dec-2025 01:50 88
plfit.txt 06-Dec-2025 01:50 182
polymake.txt 06-Dec-2025 01:50 348
primecount.txt 06-Dec-2025 01:50 136
primesieve.txt 06-Dec-2025 01:50 117
prng.txt 06-Dec-2025 01:50 81
prover9.txt 06-Dec-2025 01:50 96
proverif.txt 06-Dec-2025 01:50 352
psmt2-frontend.txt 06-Dec-2025 01:50 107
pspp.txt 06-Dec-2025 01:50 178
rkward.txt 06-Dec-2025 01:50 114
rngstreams.txt 06-Dec-2025 01:50 94
sha1-polyml.txt 06-Dec-2025 01:50 96
singular.txt 06-Dec-2025 01:50 299
slepc.txt 06-Dec-2025 01:50 206
smtinterpol.txt 06-Dec-2025 01:50 104
spin.txt 06-Dec-2025 01:50 97
stp.txt 06-Dec-2025 01:50 243
sympow.txt 06-Dec-2025 01:50 122
topcom.txt 06-Dec-2025 01:50 181
twelf.txt 06-Dec-2025 01:50 101
unuran.txt 06-Dec-2025 01:50 182
vampire.txt 06-Dec-2025 01:50 182
verifpal.txt 06-Dec-2025 01:50 87
why3-for-spark.txt 06-Dec-2025 01:50 198
why3.txt 06-Dec-2025 01:50 808
wxmaxima.txt 06-Dec-2025 01:50 127
yacas.txt 06-Dec-2025 01:50 83
yafu.txt 06-Dec-2025 01:50 113
yices2.txt 06-Dec-2025 01:50 82
z3.txt 06-Dec-2025 01:50 236