added: audit summary, solvers in other CAS