4ti2 Manifest.gz abc acl2 alectryon alt-ergo arb bertini boolector btor2tools cadabra cadical calc cgal cliquer coq coq-mathcomp coq-serapi cryptominisat cubicle cudd cvc4 dataplot diagrtb dsfmt dunshire easycrypt eclib ent eprover euler fann flint flocq form fricas frobby gap
| gappa gappalib-coq genius geogebra-bin geomview gfan giac gimps ginac glpk gmm gmp-ecm gp2c gretl gsl-shell jags kind2 kissat lcalc lean libpoly lpsolve lrcalc mathematica mathlib-tools mathmod mathomatic maxima metamath metamath-databases minisat msieve nauty nestedsums normaliz num-utils octave octave-epstk
| opensmt otter palp pari pari-data petsc picosat planarity plfit polymake primecount primesieve prng prover9 proverif psmt2-frontend pspp rkward rngstreams rw sha1-polyml singular slepc smtinterpol spin stp sympow topcom twelf unuran vampire verifpal verit why3 why3-for-spark wxmaxima yacas yafu
| yices2 z3
|