If something you're looking for isn't here, note that additional tools used only for SMT-COMP (but not for SMT-Exec) are listed on the SMT-COMP tools page. In particular, you'll find the new scrambler and the trace executor there.