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/2019 (former PhD student, DISI-UniTN)
The MathSAT 5 Team
The Authors of MathSAT 5 code, upon which OptiMathSAT is built, are reported HERE.
For general questions, information, bug reports, etc.: