| Filename | Modified | Size | Type |
|---|---|---|---|
| [Parent Directory] | - | - | - |
| [4ti2] | 21/06/21 07:1021/06/21 | - | - |
| [alt-ergo] | 20/08/23 07:4420/08/23 | - | - |
| [arb] | 19/12/22 22:0819/12/22 | - | - |
| [calc] | 01/09/22 12:1901/09/22 | - | - |
| [cgal] | 04/02/24 19:2704/02/24 | - | - |
| [cliquer] | 04/11/21 17:0804/11/21 | - | - |
| [coq] | 28/02/24 12:0428/02/24 | - | - |
| [euler] | 23/02/21 18:5623/02/21 | - | - |
| [flint] | 20/06/23 13:1720/06/23 | - | - |
| [frobby] | 29/12/22 15:0629/12/22 | - | - |
| [genius] | 13/12/21 06:4413/12/21 | - | - |
| [gfan] | 27/01/22 10:3027/01/22 | - | - |
| [gimps] | 13/01/23 18:2513/01/23 | - | - |
| [ginac] | 18/12/23 11:5918/12/23 | - | - |
| [glpk] | 28/11/23 17:4428/11/23 | - | - |
| [gmm] | 19/09/22 13:2019/09/22 | - | - |
| [gmp-ecm] | 21/11/22 20:5621/11/22 | - | - |
| [gp2c] | 07/12/21 16:2507/12/21 | - | - |
| [jags] | 13/06/23 15:4513/06/23 | - | - |
| [lcalc] | 17/07/22 21:3417/07/22 | - | - |
| [lpsolve] | 03/05/23 12:5803/05/23 | - | - |
| [lrcalc] | 19/11/23 07:3519/11/23 | - | - |
| [mathomatic] | 08/07/22 12:0708/07/22 | - | - |
| [maxima] | 23/04/24 11:0923/04/24 | - | - |
| [nauty] | 22/01/24 10:2122/01/24 | - | - |
| [normaliz] | 18/12/23 11:5918/12/23 | - | - |
| [num-utils] | 23/09/20 17:1623/09/20 | - | - |
| [otter] | 12/10/22 17:2812/10/22 | - | - |
| [pari-data] | 24/02/20 08:5824/02/20 | - | - |
| [pari] | 16/01/24 11:4116/01/24 | - | - |
| [planarity] | 12/08/22 09:1812/08/22 | - | - |
| [primecount] | 03/12/23 20:3703/12/23 | - | - |
| [primesieve] | 03/12/23 20:3703/12/23 | - | - |
| [prng] | 21/05/21 13:2721/05/21 | - | - |
| [psmt2-frontend] | 03/03/22 14:3303/03/22 | - | - |
| [pspp] | 13/01/23 18:2513/01/23 | - | - |
| [rngstreams] | 01/08/18 17:2601/08/18 | - | - |
| [rw] | 27/05/21 10:0727/05/21 | - | - |
| [sympow] | 10/07/20 16:2610/07/20 | - | - |
| [unuran] | 13/06/23 15:4513/06/23 | - | - |
| [wxmaxima] | 22/03/24 11:1922/03/24 | - | - |
| [z3] | 26/03/24 11:3026/03/24 | - | - |
| [lean] | 22/01/24 10:2122/01/24 | - | - |
| [cadabra] | 28/02/24 12:0428/02/24 | - | - |
| [picosat] | 31/01/23 11:2631/01/23 | - | - |
| [smtinterpol] | 31/01/23 11:2631/01/23 | - | - |
| [ent] | 01/06/23 14:0901/06/23 | - | - |
| [plfit] | 18/12/23 11:5918/12/23 | - | - |
| [polymake] | 12/02/24 10:1212/02/24 | - | - |