|
4ti2
|
|
1.6.10+ds-1.1
|
1
|
pass | pass | pass
|
1.6.10
|
|
antic
|
|
0.2.5+ds-1
|
0
|
pass | pass | pass
|
0.2.5
|
|
bergman
|
|
1.001+dfsg-2
|
0
|
pass | pass | pass
|
1.001
|
|
blitz++
|
|
1:1.0.2+ds-4.1
|
0
|
pass | pass | pass
|
1.0.2
|
|
calcium
|
|
0.4.1-3
|
0
|
|
0.4.1
|
|
cddlib
|
|
094m-1.1
|
2
|
|
094m
|
|
cohomcalg
|
|
0.32+ds-6
|
0
|
pass | pass | pass
|
0.32
|
|
coinor-csdp
|
|
6.2.0-5
|
4
|
pass | pass | pass
|
6.2.0
|
|
e-antic
|
|
2.0.2+ds-2
|
1
|
|
2.0.2
|
|
eclib
|
|
20250122-2
|
0
|
|
20250122
|
|
eprover
|
|
3.2.5+ds-1
|
0
|
|
3.2.5
|
|
exprtk
|
|
0.0.3-3
|
0
|
|
0.0.3
|
|
fflas-ffpack
|
|
2.5.0-3
|
0
|
pass | pass | pass
|
2.5.0
|
|
flint
|
|
3.1.3-2
|
1
|
pass | pass | pass
|
3.2.2
|
|
flint-arb
|
|
1:2.23.0-1
|
0
|
|
2.23.0
|
|
fplll
|
|
5.5.0-1.1
|
0
|
|
5.5.0
|
|
fractgen
|
|
2.1.13-1
|
0
|
|
3.0.2
|
|
frobby
|
|
0.9.5-4
|
0
|
pass | pass | pass
|
0.9.5
|
|
gappa
|
|
1.6.0-1
|
0
|
pass | pass | pass
|
1.6.0
|
|
geneagrapher
|
|
2.0.0-1
|
0
|
pass | pass | pass
|
2.0.0
|
|
gfan
|
|
0.7-2
|
2 (1 RC)
|
pass | pass | pass
|
0.7
|
|
givaro
|
|
4.2.1-1
|
0
|
pass | pass | pass
|
4.2.1
|
|
gmp-ecm
|
|
7.0.6+ds-1
|
0
|
pass | pass | pass
|
7.0.6
|
|
latte-int
|
|
1.7.6+ds-3
|
0
|
pass | pass
|
1.7.6
|
|
lcalc
|
|
2.0.5-1.1
|
0
|
|
|
|
libbraiding
|
|
1.1-1.1
|
0
|
|
1.3.1
|
|
linbox
|
|
1.7.0-5
|
2
|
pass | pass | pass
|
1.7.0
|
|
macaulay2
|
|
1.24.11+ds-5
|
4
|
pass | pass | pass
|
1.24.11
|
|
macaulay2-jupyter-kernel
|
|
0.6.7~beta-3
|
0
|
|
0.6.7~beta
|
|
mathic
|
|
1.0~git20230916-1
|
0
|
pass | pass | pass
|
1.0~git20250421
|
|
mathicgb
|
|
1.0~git20240206-1.1
|
0
|
pass | pass | pass
|
1.0~git20250421
|
|
maxima-sage
|
|
5.45.1-2
|
3
|
|
5.47.0
|
|
memtailor
|
|
1.0~git20230916-1
|
0
|
pass | pass | pass
|
1.0~git20250421
|
|
mpfrc++
|
|
3.7.1+ds-1
|
0
|
pass | pass | pass
|
3.7.1
|
|
mpsolve
|
|
3.2.1-11
|
0
|
pass | pass | pass
|
3.2.1
|
|
msolve
|
|
0.7.5-1
|
2
|
pass | pass
|
0.7.5
|
|
nauty
|
|
2.8.9+ds-1
|
2
|
pass | pass | pass
|
2.8.9
|
|
normaliz
|
|
3.10.4+ds-1
|
0
|
pass | pass | pass
|
3.10.4
|
|
ojalgo
|
|
55.0.0+ds-1
|
0
|
|
55.1.2
|
|
papilo
|
|
2.4.1+ds-1
|
0
|
|
2.4.2
|
|
phcpack
|
|
2.4.90+dfsg-2
|
0
|
pass | pass | pass
|
2.4.90
|
|
primecount
|
|
7.16+ds-1
|
0
|
pass | pass | pass
|
7.16
|
|
primecountpy
|
|
0.1.0-3
|
0
|
|
0.1.0
|
|
primesieve
|
|
12.7+ds-1
|
0
|
pass | pass | pass
|
12.8
|
|
proofgeneral
|
|
4.5-3
|
5
|
|
4.5
|
|
python-isosurfaces
|
|
0.1.2-1
|
1
|
|
0.1.2
|
|
python-mapbox-earcut
|
|
1.0.3-1
|
0
|
pass | pass | pass
|
1.0.3
|
|
python-pulp
|
|
2.7.0+dfsg-4
|
1
|
pass | pass | pass
|
3.1.1
|
|
qepcad
|
|
1.74+ds-5
|
0
|
pass | pass | pass
|
1.74
|
|
saclib
|
|
2.2.8-6.1
|
0
|
pass | pass | pass
|
2.2.8
|
|
sagemath
|
|
9.5-6
|
22 (7 RC)
|
pass | pass | neutral
|
10.6
|
|
sc-im
|
|
0.8.4+ds-1
|
1
|
|
0.8.4
|
|
singular
|
|
1:4.4.1+ds-2
|
2
|
|
4.4.1
|
|
sollya
|
|
8.0+ds-3
|
0
|
|
8.0
|
|
soplex
|
|
7.1.3+dfsg-1
|
0
|
|
7.1.4
|
|
spectra
|
|
1.1.0-1
|
0
|
|
1.1.0
|
|
stopt
|
|
5.12+dfsg-3
|
1
|
pass | pass | pass
|
5.12
|
|
symmetrica
|
|
3.1.0+ds-2
|
0
|
pass | pass | pass
|
3.1.0
|
|
topcom
|
|
1.1.2+ds-1.1
|
0
|
pass | pass | pass
|
1.2.0.beta
|
