|
Up
|
|
|
|
|
4ti2/
|
— |
|
|
|
calc/
|
— |
|
|
|
clipper2/
|
— |
|
|
|
cliquer/
|
— |
|
|
|
ent/
|
— |
|
|
|
euler/
|
— |
|
|
|
flint/
|
— |
|
|
|
frobby/
|
— |
|
|
|
gap/
|
— |
|
|
|
glpk/
|
— |
|
|
|
gp2c/
|
— |
|
|
|
lpsolve/
|
— |
|
|
|
manifold/
|
— |
|
|
|
mathomatic/
|
— |
|
|
|
maxima/
|
— |
|
|
|
num-utils/
|
— |
|
|
|
octave/
|
— |
|
|
|
palp/
|
— |
|
|
|
pari-data/
|
— |
|
|
|
pari/
|
— |
|
|
|
picosat/
|
— |
|
|
|
rngstreams/
|
— |
|
|
|
smtinterpol/
|
— |
|
|
|
sympow/
|
— |
|
|
|
z3/
|
— |
|
|