welcome: please sign in

Upload page content

You can upload content for the page named below. If you change the page name, you can also upload content for another page. If the page name is empty, we derive the page name from the file name.

File to load page content from
Page name
Comment

location: Participants\LP2BV-2

LP2BV-2

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 bit vectors using LP2BV, and finally, the bit vectors are solved by Z3.

System Settings

The main modules and option flags are as below:

The input language is Gringo 3.

References