add: Motion Grammar Kit, PAT, NorMC, Copper, Magic, Bogor, BLAST, CBMC, EBMC, Scoot, VEGAR, AIR, FShell, CPA/Tiger, CPAchecker, crest, ConCREST, ByMC, Verus, UCLID, CBMC-GC, Chic, Jaktab, Hessen, FSME, FSMC, FSMD, NBAC, BigMC, Mocha, Tempo2HSal, Rabbit, QEPCAD, SATABS, Boppo, CSIsat, Boolector, MathSAT, SMT-LIB