welcome: please sign in

You can't save spelling words.

Clear message
location: Participants\LP2SAT

LP2SAT

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 PRECOSAT.

System Settings

The main modules and option flags are as below:

The input language is Gringo 3.

References

ASP Competition 2013: Participants\LP2SAT (last edited 2013-05-23 22:24:19 by FrancescoCalimeri)