Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[DIR]](/icons/folder.gif){kind=icon}
z3/ 14-Dec-2025 19:25 -
sympow/ 03-Jun-2025 18:15 -
rw/ 19-Feb-2025 18:44 -
rngstreams/ 09-Oct-2024 18:11 -
primesieve/ 08-Aug-2025 21:30 -
pari/ 11-Dec-2025 19:13 -
nauty/ 11-Dec-2025 19:13 -
lrcalc/ 27-Jul-2025 19:15 -
lpsolve/ 18-Mar-2024 18:48 -
lcalc/ 21-May-2025 19:24 -
jags/ 21-Jan-2025 18:49 -
gp2c/ 27-Jan-2025 23:20 -
gmp-ecm/ 11-Dec-2025 19:13 -
gmm/ 03-Jul-2025 21:01 -
glpk/ 01-Dec-2025 19:35 -
gap/ 06-Nov-2025 07:33 -
euler/ 02-Jul-2025 05:28 -
ent/ 30-Nov-2025 22:02 -
cliquer/ 11-Dec-2025 19:13 -
calc/ 24-Apr-2025 21:33 -