The MathSAT 5 Team

MathSAT 5
An SMT Solver for Formal Verification

The MathSAT 5 Team

Alberto Griggio (post-doc researcher, FBK-IRST)
Bas Schaafsma (PhD student, DISI-UniTN/FBK-IRST)
Alessandro Cimatti (senior researcher, FBK-IRST)
Roberto Sebastiani (associate professor, DISI-UniTN)

For questions, information, bug reports, etc.:

mathsat_AT_fbk_DOT_eu

mathsat [AT] fbk [DOT] eu