Filename Modification time Size 4ti2-1.6.7-r1 2024-12-17 23:53 CET 944 B Manifest.gz 2024-12-22 21:11 CET 32 KiB abc-0_p20230313 2024-12-17 23:53 CET 642 B abc-9999 2024-12-17 23:53 CET 601 B acl2-8.5-r2 2024-12-16 20:11 CET 648 B acl2-8.5_p20240307 2024-12-16 20:11 CET 705 B alectryon-1.4.0-r2 2024-12-17 23:53 CET 3151 B alt-ergo-2.4.3-r2 2024-10-08 17:52 CEST 1302 B arb-2.23.0 2024-12-17 23:53 CET 989 B bertini-1.4 2024-12-17 23:53 CET 613 B bertini-1.6 2024-12-17 23:53 CET 665 B boolector-3.2.3 2024-12-17 23:53 CET 2031 B boolector-3.2.4 2024-12-17 23:53 CET 2211 B btor2tools-1.0.0_pre20220518-r1 2024-12-17 23:53 CET 799 B cadabra-2.4.5.4 2024-12-17 23:53 CET 3641 B cadabra-2.4.5.6 2024-12-17 23:53 CET 3642 B cadabra-2.4.5.7 2024-12-17 23:53 CET 3642 B cadical-1.9.5 2024-12-17 23:53 CET 427 B cadical-2.0.0 2024-12-17 23:53 CET 466 B calc-2.13.0.1 2024-12-17 23:53 CET 608 B cgal-5.6 2024-12-17 23:53 CET 1184 B cgal-5.6.1 2024-12-17 23:53 CET 1193 B cgal-6.0 2024-12-17 23:53 CET 1184 B cgal-6.0.1 2024-12-17 23:53 CET 1223 B clipper2-1.4.0 2024-12-17 23:53 CET 793 B cliquer-1.22 2023-11-22 23:40 CET 389 B coq-8.19.2 2024-10-08 17:52 CEST 1397 B coq-8.20.0 2024-12-14 13:11 CET 1398 B coq-mathcomp-1.19.0 2024-01-15 22:41 CET 442 B coq-serapi-0.20.0 2024-12-16 20:11 CET 1375 B cryptominisat-5.11.21-r1 2024-12-17 23:53 CET 2736 B cubicle-1.2.0-r2 2024-12-17 23:53 CET 1208 B cudd-3.0.0 2022-12-18 23:10 CET 295 B cvc4-1.8-r5 2024-12-17 23:53 CET 1436 B dataplot-20131220 2024-12-17 23:53 CET 1387 B diagrtb-2.64 2024-12-17 23:53 CET 950 B dsfmt-2.2.4 2024-12-17 23:53 CET 514 B dunshire-0.1.3-r1 2024-12-17 23:53 CET 2109 B easycrypt-2024.01-r1 2024-10-08 17:52 CEST 1148 B easycrypt-2024.09 2024-10-08 17:52 CEST 1148 B eclib-20231212 2024-12-17 23:53 CET 1143 B eclib-20240408 2024-12-17 23:53 CET 1151 B eclib-20241112 2024-11-15 00:41 CET 655 B ent-101202 2024-12-17 23:53 CET 520 B eprover-3.0.03 2024-12-17 23:53 CET 539 B eprover-3.0_pre008 2024-12-17 23:53 CET 546 B euler-1.61.0-r1 2024-12-17 23:53 CET 871 B fann-2.2.0-r1 2024-12-17 23:53 CET 731 B fann-9999 2024-12-17 23:53 CET 735 B flint-3.1.3_p1-r1 2024-12-17 23:53 CET 1297 B flint-3.1.3_p1-r3 2024-12-19 01:41 CET 1151 B flocq-4.1.0-r1 2024-10-08 17:52 CEST 541 B flocq-4.1.1 2024-10-08 17:52 CEST 541 B form-4.3.1 2024-12-17 23:53 CET 1396 B form-5.0.0_beta1 2024-12-17 23:53 CET 1419 B fricas-1.3.11-r3 2024-12-16 20:11 CET 1467 B frobby-0.9.0-r4 2024-12-17 23:53 CET 550 B gap-4.13.1 2024-08-29 16:10 CEST 1138 B gap-4.13.1-r2 2024-11-24 16:11 CET 1139 B gap-4.14.0_beta1 2024-11-23 15:41 CET 1128 B gappa-1.4.1 2024-11-12 19:41 CET 644 B gappa-1.4.2 2024-11-12 19:41 CET 644 B gappalib-coq-1.5.2-r1 2024-10-08 17:52 CEST 704 B gappalib-coq-1.5.3 2024-10-08 17:52 CEST 704 B genius-1.0.27 2024-12-17 23:53 CET 1667 B geogebra-bin-5.0.752.0 2024-10-08 17:52 CEST 895 B geogebra-bin-6.0.804.0 2024-10-08 17:52 CEST 1043 B geomview-1.9.5-r1 2024-12-17 23:53 CET 1086 B gfan-0.6.2-r4 2024-12-17 23:53 CET 705 B gfan-0.6.2-r6 2024-12-17 23:53 CET 763 B giac-1.9.0.29-r1 2024-12-17 23:53 CET 1970 B giac-1.9.0.995-r1 2024-12-17 23:53 CET 2003 B gimps-30.8.15 2024-12-17 23:53 CET 881 B gimps-30.8.17 2024-12-17 23:53 CET 758 B gimps-30.19.14 2024-12-17 23:53 CET 912 B gimps-30.19.20 2024-12-17 23:53 CET 911 B ginac-1.8.7-r1 2024-12-17 23:53 CET 862 B ginac-1.8.7-r2 2024-12-17 23:53 CET 874 B ginac-1.8.7-r3 2024-12-17 23:53 CET 896 B glpk-5.0-r1 2024-12-17 23:53 CET 1292 B glpk-5.0-r3 2024-12-17 23:53 CET 1366 B gmm-5.4 2024-12-17 23:53 CET 534 B gmm-5.4.2 2024-10-26 00:41 CEST 359 B gmp-ecm-7.0.5-r1 2024-12-17 23:53 CET 685 B gmp-ecm-7.0.6 2024-12-17 23:53 CET 1072 B gp2c-0.0.12 2021-12-06 08:39 CET 388 B gretl-2021d 2024-12-17 23:53 CET 1901 B gsl-shell-2.3.5 2024-12-17 23:53 CET 1653 B jags-4.3.1-r1 2024-12-17 23:53 CET 1060 B kind2-1.9.0 2024-10-08 17:52 CEST 851 B kissat-3.1.0 2024-12-17 23:53 CET 523 B kissat-3.1.1 2024-12-17 23:53 CET 523 B lcalc-2.0.5-r2 2024-08-27 03:11 CEST 676 B lean-3.51.1 2024-12-17 23:53 CET 889 B lean-4.2.0 2024-12-17 23:53 CET 973 B lean-4.11.0 2024-12-17 23:53 CET 996 B libpoly-0.1.11 2024-12-17 23:53 CET 2030 B lpsolve-5.5.2.11-r2 2024-12-17 23:53 CET 556 B lrcalc-1.2 2023-06-09 17:40 CEST 365 B lrcalc-2.1 2024-08-20 23:11 CEST 372 B manifold-3.0.0_pre20241115 2024-12-17 23:53 CET 2901 B mathematica-10.3.1-r1 2024-12-17 23:53 CET 671 B mathematica-10.3.1-r2 2024-12-17 23:53 CET 691 B mathematica-12.1.0 2024-12-17 23:53 CET 671 B mathematica-12.1.1-r1 2024-12-17 23:53 CET 671 B mathematica-12.2.0 2024-12-17 23:53 CET 671 B mathematica-13.0.0 2024-12-17 23:53 CET 676 B mathematica-13.0.1 2024-12-17 23:53 CET 1044 B mathematica-13.1.0 2024-12-17 23:53 CET 1132 B mathematica-13.2.1 2024-12-17 23:53 CET 1111 B mathematica-13.3.1 2024-12-17 23:53 CET 1529 B mathematica-14.0.0 2024-12-17 23:53 CET 1529 B mathematica-14.1.0 2024-12-17 23:53 CET 1577 B mathlib-tools-1.3.2_p1 2024-12-17 23:53 CET 5817 B mathmod-11.1 2024-12-17 23:53 CET 926 B mathomatic-16.0.5-r1 2024-12-17 23:53 CET 695 B maxima-5.46.0-r1 2024-12-17 23:53 CET 3054 B maxima-5.47.0 2024-12-17 23:53 CET 3068 B maxima-5.47.0-r1 2024-12-17 23:53 CET 3233 B metamath-0.198 2024-12-17 23:53 CET 799 B metamath-databases-20220303 2023-03-04 17:40 CET 420 B minisat-2.2.1-r1 2024-12-17 23:53 CET 871 B msieve-1.53-r1 2024-12-17 23:53 CET 701 B nauty-2.8.8-r1 2024-12-17 23:53 CET 1116 B nestedsums-1.5.2-r1 2024-12-17 23:53 CET 660 B normaliz-3.9.3 2024-12-17 23:53 CET 679 B normaliz-3.10.1 2024-12-17 23:53 CET 1067 B num-utils-0.5-r2 2023-06-09 17:40 CEST 445 B octave-8.3.0-r2 2024-12-17 23:53 CET 4456 B octave-9.2.0-r1 2024-12-17 23:53 CET 4333 B octave-epstk-2.4 2021-11-22 04:39 CET 435 B opensmt-2.5.2 2024-12-17 23:53 CET 1164 B otter-3.3-r4 2024-12-17 23:53 CET 611 B palp-2.21 2024-12-17 23:53 CET 580 B pari-2.15.5 2024-12-17 23:53 CET 1085 B pari-data-20191216 2024-08-19 15:11 CEST 725 B petsc-3.16.0-r2 2024-12-17 23:53 CET 2234 B petsc-3.17.1-r2 2024-12-17 23:53 CET 2011 B petsc-3.18.2-r1 2024-12-17 23:53 CET 2041 B petsc-3.19.1-r1 2024-12-17 23:53 CET 2041 B petsc-3.19.2-r1 2024-12-17 23:53 CET 2041 B petsc-3.19.4-r1 2024-12-17 23:53 CET 2041 B petsc-3.20.5-r1 2024-12-17 23:53 CET 2054 B petsc-3.21.3 2024-12-17 23:53 CET 2075 B petsc-3.22.2 2024-12-17 23:53 CET 2075 B picosat-965 2024-12-17 23:53 CET 392 B planarity-3.0.2.0 2024-08-20 23:11 CEST 390 B plfit-0.9.5 2024-12-17 23:53 CET 777 B polymake-4.11 2024-12-17 23:53 CET 1756 B polymake-4.13 2024-12-17 23:53 CET 1759 B primecount-7.6 2024-12-17 23:53 CET 939 B primecount-7.13-r1 2024-12-17 23:53 CET 928 B primesieve-11.0 2024-12-17 23:53 CET 867 B primesieve-12.3 2024-12-17 23:53 CET 906 B prng-3.0.2-r3 2024-12-17 23:53 CET 817 B prover9-2009.11a-r1 2024-12-17 23:53 CET 539 B proverif-2.04-r1 2024-12-16 20:11 CET 773 B proverif-2.05 2024-12-16 20:11 CET 759 B proverif-9999 2024-12-16 20:11 CET 769 B psmt2-frontend-0.4.0 2024-10-08 17:52 CEST 828 B pspp-1.6.2-r2 2024-12-17 23:53 CET 1614 B rkward-0.8.0 2024-12-17 23:53 CET 2931 B rngstreams-1.0.1 2023-06-09 17:40 CEST 455 B rw-0.9 2024-09-21 06:11 CEST 383 B sha1-polyml-5.9 2024-12-17 23:53 CET 452 B singular-4.3.2_p16-r1 2024-12-17 23:53 CET 1452 B singular-4.4.0_p6 2024-12-16 20:11 CET 974 B slepc-3.16.0 2024-12-17 23:53 CET 979 B slepc-3.17.1 2024-12-17 23:53 CET 979 B slepc-3.18.1 2024-12-17 23:53 CET 968 B slepc-3.19.0 2024-12-17 23:53 CET 1062 B slepc-3.19.1 2024-12-17 23:53 CET 1062 B slepc-3.20.1 2024-12-17 23:53 CET 1062 B slepc-3.21.1 2024-12-17 23:53 CET 1083 B slepc-3.22.1 2024-12-17 23:53 CET 1083 B smtinterpol-2.5_p20211018-r1 2024-12-06 09:11 CET 751 B spin-6.5.2-r1 2024-12-17 23:53 CET 694 B stp-2.3.3-r3 2024-12-17 23:53 CET 2147 B stp-2.3.4 2024-12-17 23:53 CET 2125 B sympow-2.023.7 2024-12-22 21:11 CET 525 B topcom-0.17.8-r3 2024-12-17 23:53 CET 1163 B topcom-1.1.2 2024-12-17 23:53 CET 1077 B twelf-1.7.1-r2 2024-12-17 23:53 CET 827 B unuran-1.8.1 2023-06-09 17:40 CEST 653 B unuran-1.9.0 2024-12-17 23:53 CET 1130 B vampire-4.8 2024-12-17 23:53 CET 956 B vampire-4.9 2024-12-17 23:53 CET 956 B verifpal-0.27.0 2024-12-17 23:53 CET 810 B verit-2021.06.2 2022-03-10 22:39 CET 320 B why3-1.6.0 2024-12-17 23:53 CET 2053 B why3-1.7.2 2024-12-17 23:53 CET 2053 B why3-for-spark-2021-r1 2024-12-17 23:53 CET 2144 B wxmaxima-24.02.1 2024-12-17 23:53 CET 1250 B wxmaxima-24.05.0 2024-12-17 23:53 CET 1250 B wxmaxima-24.08.0 2024-12-17 23:53 CET 1251 B yacas-1.9.1-r1 2024-12-17 23:53 CET 1665 B yafu-1.34.3-r1 2024-12-17 23:53 CET 734 B yices2-2.6.4-r1 2024-12-17 23:53 CET 997 B z3-4.13.3 2024-12-17 23:53 CET 2603 B z3-4.13.4 2024-12-18 09:41 CET 2609 B