OptiMathSAT

The OptiMathSAT Team

Authors of optimization-related code of OptiMathSAT:

• Roberto Sebastiani, founder, from 2009 to present (associate professor, DISI-UniTN)
• Silvia Tomasi, founder, from 2009 to 2014 (former PhD student, DISI-UniTN)
• Patrick Trentin, from 06/2013 to 06/2020 (former Post-Doc, DISI-UniTN)

The MathSAT 5 Team

The Authors of MathSAT 5 code, upon which OptiMathSAT is built, are reported HERE.

Contacts:

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