Exact

Exact Union RegExp

Andreas Sturmlechner ebf2ab1a43 sci-mathematics/mathmod: drop 12.1, 13.0 ... Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>		2025-12-10 23:47:11 +01:00
..
4ti2
abc
acl2
alectryon
alt-ergo
arb
bertini
btor2tools
cadabra
cadical
calc
cgal
clipper2
cliquer
coq
coq-mathcomp
coq-serapi
coq-stdlib
cryptominisat
cubicle
cudd
cvc4
dataplot
dsfmt
dunshire
easycrypt
eclib
ent
eprover
euler
fann
flint
flocq
form
fricas
frobby
functions-matlab-colormaps
gap
gappa
gappalib-coq
genius
geogebra-bin
geomview
gfan
giac
gimps
ginac
glpk
gmm
gmp-ecm
gp2c
gretl
gsl-shell
jags
kind2
kissat
lcalc
lean
libpoly
lpsolve
lrcalc
manifold
mathematica
mathmod	sci-mathematics/mathmod: drop 12.1, 13.0	2025-12-10 23:47:11 +01:00
mathomatic
maxima
metamath
metamath-databases
minisat
msieve
nauty
nestedsums
normaliz
num-utils
octave
octave-epstk
opensmt
otter
palp
pari
pari-data
petsc
picosat
planarity
plfit
polymake	sci-mathematics/polymake: Stabilize 4.15 amd64, #966557	2025-11-26 06:10:22 +00:00
primecount
primesieve
prng
prover9
proverif
psmt2-frontend
pspp
rkward
rngstreams
rw
sha1-polyml
singular
slepc
smtinterpol
spin
stp
sympow
topcom
twelf
unuran
vampire
verifpal
verit
why3
why3-for-spark
wxmaxima
yacas
yafu
yices2
z3
metadata.xml