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