ASP Competition 2013: Participants\LP2SOLRED-mt

LP2SOLRED-mt

Team

Description

A given ASP program is grounded by GRINGO and the ground program is simplified by SMODELS, then the simplified program is normalized using LP2NORMAL2 and translated to SAT clauses using LP2LP2 and LP2SAT, and finally, the SAT clauses are solved by GLUCORED.

System Settings

The main modules and option flags are as below:

The input language is Gringo 3.

References

ASP Competition 2013: Participants\LP2SOLRED-mt (last edited 2013-05-23 22:27:55 by FrancescoCalimeri)