MathSAT - The MathSAT 5 Team

MathSAT 5
An SMT Solver for Formal Verification & More

The MathSAT 5 Team

Alberto Griggio (researcher, FBK)
Alessandro Cimatti (senior researcher, FBK)
Roberto Sebastiani (full professor, UniTN)

For general questions, information, bug reports, etc.:

mathsat_AT_fbk_DOT_eu

mathsat [AT] fbk [DOT] eu

mathsat-announce mailing list