Index of /results/gentoo/stats/ebuild_licenses_statistics/sort-by-package/sci-mathematics/
../
4ti2.txt 11-Apr-2025 01:46 152
abc.txt 11-Apr-2025 01:46 145
acl2.txt 11-Apr-2025 01:46 83
alectryon.txt 11-Apr-2025 01:46 85
alt-ergo.txt 11-Apr-2025 01:46 102
arb.txt 11-Apr-2025 01:46 133
bertini.txt 11-Apr-2025 01:46 160
boolector.txt 11-Apr-2025 01:46 164
btor2tools.txt 11-Apr-2025 01:46 99
cadabra.txt 11-Apr-2025 01:46 246
cadical.txt 11-Apr-2025 01:46 156
calc.txt 11-Apr-2025 01:46 78
cgal.txt 11-Apr-2025 01:46 360
clipper2.txt 11-Apr-2025 01:46 109
cliquer.txt 11-Apr-2025 01:46 112
coq-mathcomp.txt 11-Apr-2025 01:46 97
coq-serapi.txt 11-Apr-2025 01:46 88
coq-stdlib.txt 11-Apr-2025 01:46 89
coq.txt 11-Apr-2025 01:46 586
cryptominisat.txt 11-Apr-2025 01:46 101
cubicle.txt 11-Apr-2025 01:46 102
cudd.txt 11-Apr-2025 01:46 60
cvc4.txt 11-Apr-2025 01:46 66
dataplot.txt 11-Apr-2025 01:46 93
diagrtb.txt 11-Apr-2025 01:46 91
dsfmt.txt 11-Apr-2025 01:46 98
dunshire.txt 11-Apr-2025 01:46 75
easycrypt.txt 11-Apr-2025 01:46 196
eclib.txt 11-Apr-2025 01:46 366
ent.txt 11-Apr-2025 01:46 81
eprover.txt 11-Apr-2025 01:46 168
euler.txt 11-Apr-2025 01:46 80
fann.txt 11-Apr-2025 01:46 156
flint.txt 11-Apr-2025 01:46 236
flocq.txt 11-Apr-2025 01:46 77
form.txt 11-Apr-2025 01:46 190
fricas.txt 11-Apr-2025 01:46 100
frobby.txt 11-Apr-2025 01:46 81
gap.txt 11-Apr-2025 01:46 402
gappa.txt 11-Apr-2025 01:46 172
gappalib-coq.txt 11-Apr-2025 01:46 187
genius.txt 11-Apr-2025 01:46 68
geogebra-bin.txt 11-Apr-2025 01:46 406
geomview.txt 11-Apr-2025 01:46 88
gfan.txt 11-Apr-2025 01:46 78
giac.txt 11-Apr-2025 01:46 141
gimps.txt 11-Apr-2025 01:46 490
ginac.txt 11-Apr-2025 01:46 294
glpk.txt 11-Apr-2025 01:46 153
gmm.txt 11-Apr-2025 01:46 186
gmp-ecm.txt 11-Apr-2025 01:46 363
gp2c.txt 11-Apr-2025 01:46 108
gretl.txt 11-Apr-2025 01:46 76
gsl-shell.txt 11-Apr-2025 01:46 84
jags.txt 11-Apr-2025 01:46 77
kind2.txt 11-Apr-2025 01:46 95
kissat.txt 11-Apr-2025 01:46 152
lcalc.txt 11-Apr-2025 01:46 221
lean.txt 11-Apr-2025 01:46 163
libpoly.txt 11-Apr-2025 01:46 83
lpsolve.txt 11-Apr-2025 01:46 107
lrcalc.txt 11-Apr-2025 01:46 218
manifold.txt 11-Apr-2025 01:46 232
mathematica.txt 11-Apr-2025 01:46 1665
mathmod.txt 11-Apr-2025 01:46 80
mathomatic.txt 11-Apr-2025 01:46 93
maxima.txt 11-Apr-2025 01:46 338
metamath-databases.txt 11-Apr-2025 01:46 107
metamath.txt 11-Apr-2025 01:46 189
minisat.txt 11-Apr-2025 01:46 69
msieve.txt 11-Apr-2025 01:46 90
nauty.txt 11-Apr-2025 01:46 84
nestedsums.txt 11-Apr-2025 01:46 107
normaliz.txt 11-Apr-2025 01:46 165
num-utils.txt 11-Apr-2025 01:46 85
octave-epstk.txt 11-Apr-2025 01:46 88
octave.txt 11-Apr-2025 01:46 169
opensmt.txt 11-Apr-2025 01:46 78
otter.txt 11-Apr-2025 01:46 65
palp.txt 11-Apr-2025 01:46 132
pari-data.txt 11-Apr-2025 01:46 87
pari.txt 11-Apr-2025 01:46 357
petsc.txt 11-Apr-2025 01:46 876
picosat.txt 11-Apr-2025 01:46 76
planarity.txt 11-Apr-2025 01:46 232
plfit.txt 11-Apr-2025 01:46 100
polymake.txt 11-Apr-2025 01:46 208
primecount.txt 11-Apr-2025 01:46 236
primesieve.txt 11-Apr-2025 01:46 234
prng.txt 11-Apr-2025 01:46 77
prover9.txt 11-Apr-2025 01:46 86
proverif.txt 11-Apr-2025 01:46 291
psmt2-frontend.txt 11-Apr-2025 01:46 113
pspp.txt 11-Apr-2025 01:46 87
rkward.txt 11-Apr-2025 01:46 101
rngstreams.txt 11-Apr-2025 01:46 86
rw.txt 11-Apr-2025 01:46 116
sha1-polyml.txt 11-Apr-2025 01:46 86
singular.txt 11-Apr-2025 01:46 161
slepc.txt 11-Apr-2025 01:46 768
smtinterpol.txt 11-Apr-2025 01:46 100
spin.txt 11-Apr-2025 01:46 77
stp.txt 11-Apr-2025 01:46 193
sympow.txt 11-Apr-2025 01:46 117
topcom.txt 11-Apr-2025 01:46 160
twelf.txt 11-Apr-2025 01:46 81
unuran.txt 11-Apr-2025 01:46 156
vampire.txt 11-Apr-2025 01:46 152
verifpal.txt 11-Apr-2025 01:46 84
verit.txt 11-Apr-2025 01:46 78
why3-for-spark.txt 11-Apr-2025 01:46 174
why3.txt 11-Apr-2025 01:46 507
wxmaxima.txt 11-Apr-2025 01:46 306
yacas.txt 11-Apr-2025 01:46 79
yafu.txt 11-Apr-2025 01:46 88
yices2.txt 11-Apr-2025 01:46 82
z3.txt 11-Apr-2025 01:46 75