add Pi2Promela, Copilot, mCRL2, Mobility Workbench, MMC, XMC, MMCsp, ASTG, fc2symbmin, RAT, Xeve, Ticc, Automath, Spear, Metamath, qmaxsat, MiniMarch, MSUnCore, antom, SCIP, GLPK, Lingeling, Plingeling, Treengeling, PicoSAT, PrecoSAT, RSat, UBCSAT, fss, QBF Solvers, MiFuMaX, Shaowei Cai solvers, WBO, PWBO, Sat4, ToulBar2, march, march_eq, march_dl, CryptoMiniSat, WinSAT, HyperSAT, TorX, FoCs, Max-SAT 2013 solvers, SAT competition, JKU tools, Freek Wiedijk tool list, wiki proof assistants list