Encoding Class Verification and Evaluation Encodings and Tools

Class Tree
Description This class collects solution verification (decision problems) and solution evaluation (optimization problems) encodings, recognized by gringo/clasp, along with tools.

The naming scheme for the files provided here is as follows:

* check.py: A Python script that produces the verification/evaluation result in the required format. See description of checker.py for details on the usage.

* <problem_chk.lp>: A verification encoding for the corresponding decision <problem>.

* <problem_opt.lp>: An evaluation encoding for the corresponding optimization <problem>. (Verification is also included.)

To match verification/evaluation <problem>, also compare encodings called <problem>_* found by Searching for "Encodings" containing "ASP Contest 09" as a Tag. (To get available instances for some of these <problem>s, Search for "Instances" containing "ASP Contest 09" as a Tag.)
Encodings
1 - 20 of 38