Quantified Mixed Integer Linear Programs

We want to give you a brief insight into the world of quantified programming:

• What are Q-MIPs?
• Academic Micro-Example.
• Polyhedral and Decision-Dependent Uncertainty.
• QLP File Format.
• Application Example.

Downloads

Yasol for Mac OS
Yasol for Linux
Yasol for Windows
Instances

About

Yasol
QMIPs