Index of /results/gentoo/stats/ebuild_licenses_statistics/sort-by-package/sci-mathematics/
../
4ti2.txt 08-Sep-2024 01:54 77
abc.txt 08-Sep-2024 01:54 145
acl2.txt 08-Sep-2024 01:54 153
alectryon.txt 08-Sep-2024 01:54 85
alt-ergo.txt 08-Sep-2024 01:54 102
arb.txt 08-Sep-2024 01:54 133
bertini.txt 08-Sep-2024 01:54 160
boolector.txt 08-Sep-2024 01:54 82
btor2tools.txt 08-Sep-2024 01:54 99
cadabra.txt 08-Sep-2024 01:54 246
cadical.txt 08-Sep-2024 01:54 156
calc.txt 08-Sep-2024 01:54 78
cgal.txt 08-Sep-2024 01:54 275
cliquer.txt 08-Sep-2024 01:54 112
coq-mathcomp.txt 08-Sep-2024 01:54 94
coq-serapi.txt 08-Sep-2024 01:54 88
coq.txt 08-Sep-2024 01:54 410
cryptominisat.txt 08-Sep-2024 01:54 101
cubicle.txt 08-Sep-2024 01:54 102
cudd.txt 08-Sep-2024 01:54 60
cvc4.txt 08-Sep-2024 01:54 66
dataplot.txt 08-Sep-2024 01:54 93
diagrtb.txt 08-Sep-2024 01:54 91
dsfmt.txt 08-Sep-2024 01:54 98
dunshire.txt 08-Sep-2024 01:54 75
easycrypt.txt 08-Sep-2024 01:54 101
eclib.txt 08-Sep-2024 01:54 244
ent.txt 08-Sep-2024 01:54 81
eprover.txt 08-Sep-2024 01:54 168
euler.txt 08-Sep-2024 01:54 80
fann.txt 08-Sep-2024 01:54 156
flint.txt 08-Sep-2024 01:54 115
flocq.txt 08-Sep-2024 01:54 157
form.txt 08-Sep-2024 01:54 190
fricas.txt 08-Sep-2024 01:54 197
frobby.txt 08-Sep-2024 01:54 81
gap.txt 08-Sep-2024 01:54 133
gappa.txt 08-Sep-2024 01:54 172
gappalib-coq.txt 08-Sep-2024 01:54 187
genius.txt 08-Sep-2024 01:54 68
geogebra-bin.txt 08-Sep-2024 01:54 380
geomview.txt 08-Sep-2024 01:54 88
gfan.txt 08-Sep-2024 01:54 156
giac.txt 08-Sep-2024 01:54 277
gimps.txt 08-Sep-2024 01:54 490
ginac.txt 08-Sep-2024 01:54 294
glpk.txt 08-Sep-2024 01:54 306
gmm.txt 08-Sep-2024 01:54 186
gmp-ecm.txt 08-Sep-2024 01:54 122
gp2c.txt 08-Sep-2024 01:54 108
gretl.txt 08-Sep-2024 01:54 76
gsl-shell.txt 08-Sep-2024 01:54 84
jags.txt 08-Sep-2024 01:54 151
kind2.txt 08-Sep-2024 01:54 95
kissat.txt 08-Sep-2024 01:54 152
lcalc.txt 08-Sep-2024 01:54 112
lean.txt 08-Sep-2024 01:54 159
libpoly.txt 08-Sep-2024 01:54 83
lpsolve.txt 08-Sep-2024 01:54 107
lrcalc.txt 08-Sep-2024 01:54 218
mathematica.txt 08-Sep-2024 01:54 1386
mathlib-tools.txt 08-Sep-2024 01:54 100
mathmod.txt 08-Sep-2024 01:54 86
mathomatic.txt 08-Sep-2024 01:54 93
maxima.txt 08-Sep-2024 01:54 338
metamath-databases.txt 08-Sep-2024 01:54 107
metamath.txt 08-Sep-2024 01:54 189
minisat.txt 08-Sep-2024 01:54 69
msieve.txt 08-Sep-2024 01:54 90
nauty.txt 08-Sep-2024 01:54 84
nestedsums.txt 08-Sep-2024 01:54 107
normaliz.txt 08-Sep-2024 01:54 165
num-utils.txt 08-Sep-2024 01:54 85
octave-epstk.txt 08-Sep-2024 01:54 88
octave.txt 08-Sep-2024 01:54 250
opensmt.txt 08-Sep-2024 01:54 78
otter.txt 08-Sep-2024 01:54 65
palp.txt 08-Sep-2024 01:54 132
pari-data.txt 08-Sep-2024 01:54 87
pari.txt 08-Sep-2024 01:54 222
petsc.txt 08-Sep-2024 01:54 781
picosat.txt 08-Sep-2024 01:54 76
planarity.txt 08-Sep-2024 01:54 116
plfit.txt 08-Sep-2024 01:54 200
polymake.txt 08-Sep-2024 01:54 208
primecount.txt 08-Sep-2024 01:54 236
primesieve.txt 08-Sep-2024 01:54 234
prng.txt 08-Sep-2024 01:54 77
prover9.txt 08-Sep-2024 01:54 86
proverif.txt 08-Sep-2024 01:54 291
psmt2-frontend.txt 08-Sep-2024 01:54 113
pspp.txt 08-Sep-2024 01:54 87
rkward.txt 08-Sep-2024 01:54 101
rngstreams.txt 08-Sep-2024 01:54 86
rw.txt 08-Sep-2024 01:54 116
sha1-polyml.txt 08-Sep-2024 01:54 86
singular.txt 08-Sep-2024 01:54 326
slepc.txt 08-Sep-2024 01:54 672
smtinterpol.txt 08-Sep-2024 01:54 197
spin.txt 08-Sep-2024 01:54 77
stp.txt 08-Sep-2024 01:54 193
sympow.txt 08-Sep-2024 01:54 117
topcom.txt 08-Sep-2024 01:54 160
twelf.txt 08-Sep-2024 01:54 81
unuran.txt 08-Sep-2024 01:54 156
vampire.txt 08-Sep-2024 01:54 76
verifpal.txt 08-Sep-2024 01:54 84
verit.txt 08-Sep-2024 01:54 78
why3-for-spark.txt 08-Sep-2024 01:54 87
why3.txt 08-Sep-2024 01:54 198
wxmaxima.txt 08-Sep-2024 01:54 306
yacas.txt 08-Sep-2024 01:54 102
yafu.txt 08-Sep-2024 01:54 88
yices2.txt 08-Sep-2024 01:54 82
z3.txt 08-Sep-2024 01:54 75