220 followers
The Inez Mathematical Programming Modulo Theories Framework. - Panagiotis Manolios, Jorge Pais, Vasilis… http://t.co/qh5knozgoa
The Inez Mathematical Programming Modulo Theories Framework. - Panagiotis Manolios, Jorge Pais, Vasilis… http://t.co/qh5knozgoa