add s2n, Promela -> TADD, PRISM tools, synthesis w/ PRISM, JPLF-nhandler, Zing, SMView, gNuSMV, nusmv-tools, nuseen, MONA, Boom, OLTSA, WDBA, psl2ba, rltl2ba, aalta, Rabinizer, LTL3DRA, JFLAP, ltlmp_sat, Autowrite, Timbuk, ELAN, Lustre interpreter, chameleon-debaets, AspectLTL, jorro, ltl2aig, PARTY, AbsSynthe, mpg-solver, MLSolver, SLURP, HCMC, LtlOpt, github/ACL2, Lean, FOL prover, hemera, FLiP, RAReQS, miniKanren, logpy, PdTrav, fsmtex, Univ. Utah tools, SV-COMP 2014

and shift around some entries
add EasyBDD, PyCUDD, CL-CUDD, BuDDy, JavaBDD