LP2MIP

Team

Description

A given ASP program is grounded by GRINGO and the ground program is simplified by SMODELS, then the simplified program is translated to a mixed integer program using LP2MIP, and finally, the mixed integer program is solved CPLEX.

System Settings

The main modules and option flags are:

The input language of LP2MIP is Gringo 3.

References