Solver for Quantified Mixed Integer Programs

Since Yasol has no own built-in LP solver you either need to install IBM® ILOG® CPLEX® Optimization Studio or the COIN-OR Optimization Suite in order to use our solver. Our solver makes intensive use of their linear program solver. These tools are black-box used, but it is our intention not to use the integer solving abilities of these foreign solvers.

You can download the source code and build the project using the provided batch files for the following operating systems. 

QMIP Instances in the QLP File Format

In order to solve Q-MIPs with Yasol, the instances have to be available in QLP file format. We provide a number of test instances.