TLA+, SANY, TLC, PlusCal, TLATeX, TLAPS, CRefine, UTP and Cirus Theories in ProofPower-Z, Circus Type Checker, JCircus, ClawCircus, Circus Parser, Rodin, Vampire, Zenon, E, Community Z Tools, ProofPower, ClawZ, Waldmesiter, veriT, haRVey, TPTP, BEnchamrk Verification Tools, Larry Wos' Notebooks, SMT-LIB, DPPD, QMLTP, ILTP, asparagus, TPDB, CSPLib, OR-library, SATLIB, SatEx, QBFLIB