MathSAT 5

• Alberto Griggio (post-doc researcher, FBK-IRST)
• Alessandro Cimatti (senior researcher, FBK-IRST)
• Roberto Sebastiani (associate professor, DISI-UniTN)

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

There's also a mailing list for receiving announcement emails for new releases of MathSAT: mathsat-announce.