|
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
|
3
|
pass | pass | pass
|
6.2.0
|
|
e-antic
|
|
2.0.2+ds-2
|
0
|
|
2.0.2
|
|
eclib
|
|
20240408-1
|
1 (1 RC)
|
|
20240408
|
|
eprover
|
|
3.2.0+ds-1
|
0
|
|
3.2.0
|
|
fflas-ffpack
|
|
2.5.0-3
|
0
|
pass | pass | pass
|
2.5.0
|
|
flint
|
|
3.1.3-1
|
0
|
pass | pass | pass
|
3.1.3
|
|
flint-arb
|
|
1:2.23.0-1
|
0
|
|
2.23.0
|
|
fplll
|
|
5.4.5-1.1
|
0
|
|
5.4.5
|
|
fractgen
|
|
2.1.13-1
|
0
|
|
2.1.14
|
|
frobby
|
|
0.9.5-4
|
0
|
pass | pass | pass
|
0.9.5
|
|
gappa
|
|
1.4.1-2
|
0
|
pass | pass | pass
|
1.4.1
|
|
geneagrapher
|
|
2.0.0-1
|
0
|
pass | pass | pass
|
2.0.0
|
|
gfan
|
|
0.6.2-7
|
1
|
pass | pass | pass
|
0.6.2
|
|
givaro
|
|
4.2.0-4
|
0
|
pass | pass | pass
|
4.2.0
|
|
gmp-ecm
|
|
7.0.5+ds-2
|
0
|
pass | pass | pass
|
7.0.5
|
|
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.2
|
|
linbox
|
|
1.7.0-4
|
1
|
pass | fail | pass
|
1.7.0
|
|
macaulay2
|
|
1.24.05+ds-3
|
1
|
pass | pass | pass
|
1.24.05
|
|
macaulay2-jupyter-kernel
|
|
0.6.7~beta-3
|
0
|
|
0.6.7~beta
|
|
mathic
|
|
1.0~git20230916-1
|
0
|
pass | pass | pass
|
1.0~git20230916
|
|
mathicgb
|
|
1.0~git20240206-1.1
|
0
|
pass | pass | pass
|
1.0~git20240206
|
|
maxima-sage
|
|
5.45.1-2
|
2
|
|
5.47.0
|
|
memtailor
|
|
1.0~git20230916-1
|
0
|
pass | pass | pass
|
1.0~git20230916
|
|
mpfrc++
|
|
3.7.1+ds-1
|
0
|
pass | pass | pass
|
3.7.1
|
|
mpsolve
|
|
3.2.1-10.1
|
0
|
pass | pass | pass
|
3.2.1
|
|
msolve
|
|
0.6.6-1
|
1
|
pass | pass
|
0.6.6
|
|
nauty
|
|
2.8.8+ds-5
|
2
|
pass | pass | pass
|
2.8.8
|
|
normaliz
|
|
3.10.3+ds-1
|
0
|
pass | pass | pass
|
3.10.3
|
|
ojalgo
|
|
53.3.0+ds-1
|
0
|
|
54.0.0
|
|
phcpack
|
|
2.4.90+dfsg-1
|
0
|
pass | pass | pass
|
2.4.90
|
|
primecount
|
|
7.13+ds-1
|
0
|
pass | pass | pass
|
7.13
|
|
primecountpy
|
|
0.1.0-3
|
0
|
|
0.1.0
|
|
primesieve
|
|
12.3+ds-1
|
0
|
pass | pass | pass
|
12.3
|
|
proofgeneral
|
|
4.5-1
|
5
|
|
4.5
|
|
python-isosurfaces
|
|
0.1.1-1
|
1
|
|
0.1.1
|
|
python-mapbox-earcut
|
|
1.0.1-3
|
0
|
pass | pass | pass
|
1.0.1
|
|
python-pulp
|
|
2.7.0+dfsg-3
|
0
|
pass | pass | pass
|
2.8.0
|
|
qepcad
|
|
1.74+ds-4
|
0
|
pass | pass | pass
|
1.74
|
|
saclib
|
|
2.2.8-6.1
|
0
|
pass | pass | pass
|
2.2.8
|
|
sagemath
|
|
9.5-6
|
19 (5 RC)
|
pass | pass | neutral
|
10.3
|
|
sc-im
|
|
0.8.3+ds-3
|
1 (1 RC)
|
|
0.8.3
|
|
singular
|
|
1:4.4.0-p2+ds-1
|
2
|
|
4.4.0-p3
|
|
sollya
|
|
8.0+ds-2
|
0
|
|
8.0
|
|
soplex
|
|
7.0.1+dfsg-1
|
0
|
|
7.1.0
|
|
spectra
|
|
1.0.1-3
|
0
|
|
1.0.1
|
|
stopt
|
|
5.8+dfsg-1.1
|
0
|
pass | fail | pass
|
|
|
symmetrica
|
|
3.0.1+ds-3
|
1
|
pass | fail | pass
|
3.0.1
|
|
topcom
|
|
1.1.2+ds-1.1
|
0
|
pass | pass | pass
|
1.1.2
|
