ggnfs | 200.00b | June 30 2014 at 20:31 |
gimps | 240.00b | August 10 2014 at 18:01 |
ginac | 280.00b | June 30 2014 at 20:31 |
glpk | 256.00b | September 1 2014 at 17:01 |
gmm | 168.00b | October 22 2014 at 07:01 |
gmp-ecm | 256.00b | June 30 2014 at 20:31 |
gretl | 240.00b | June 30 2014 at 20:31 |
gsl-shell | 200.00b | June 30 2014 at 20:31 |
gwnum | 168.00b | June 30 2014 at 20:31 |
isabelle | 328.00b | June 30 2014 at 20:31 |
jags | 176.00b | June 30 2014 at 20:31 |
kodkod | 200.00b | June 30 2014 at 20:31 |
kodkodi | 176.00b | August 10 2014 at 20:31 |
lpsolve | 176.00b | June 30 2014 at 20:31 |
lybniz | 176.00b | June 30 2014 at 20:31 |
mathomatic | 256.00b | October 22 2014 at 07:01 |
maxima | 600.00b | September 14 2014 at 10:31 |
metadata.xml | 1.29Kb | February 17 2006 |
minisat | 240.00b | August 10 2014 at 20:31 |
mlpy | 176.00b | June 30 2014 at 20:31 |
msieve | 240.00b | June 30 2014 at 20:31 |
nauty | 176.00b | August 10 2014 at 20:31 |
nestedsums | 184.00b | June 30 2014 at 20:31 |
normaliz | 280.00b | August 18 2014 at 08:01 |
num-utils | 216.00b | October 22 2014 at 07:01 |
nusmv | 360.00b | June 30 2014 at 20:31 |
octave | 360.00b | September 9 2014 at 13:31 |
octave-epstk | 216.00b | June 30 2014 at 20:31 |
otter | 240.00b | August 10 2014 at 20:31 |
p9m4 | 192.00b | August 10 2014 at 20:31 |