POSTMAN
Powering SMT Solvers by Machine Learning

Core Team

• PI: Mikoláš Janota
• PostDoc:Mohammad Rohaninejad
• PostDoc:Jan Hůla
• Collaborators: Josef Urban