Difference between revisions of "TBM1 - “Getting to Know My Home”"

From RoCKIn Wiki
Jump to: navigation, search
(Clarification of Procedures and Rules)
(Clarification of procedures and rules)
Line 2: Line 2:
  
 
== Clarification of procedures and rules ==
 
== Clarification of procedures and rules ==
 +
 +
[[Media:Output-checker.zip|'''output-checker.py''']] is a Python script to parse and evaluate a file against a ground truth. For using it, you need to install PySWIP, which is a Python interface to SWIProlog.
 +
 +
Follow instructions in [https://code.google.com/p/pyswip/ "here"] explaining also how to install SWIProlog.
 +
 +
'''Note''': For Windows, it seems better to install 32 bit versions of the software.
 +
 +
The output of this program is either the description of syntax errors in the files or the result of the comparison. Note that this is not exactly the program that will be used for the evaluation of the test, but it is useful to determine if the output is well-formed.
 +
 +
For example, this script does not evaluate positions correctly.

Revision as of 12:35, 1 October 2015

To be updated for the 2015 RoCKIn Competition

Clarification of procedures and rules

output-checker.py is a Python script to parse and evaluate a file against a ground truth. For using it, you need to install PySWIP, which is a Python interface to SWIProlog.

Follow instructions in "here" explaining also how to install SWIProlog.

Note: For Windows, it seems better to install 32 bit versions of the software.

The output of this program is either the description of syntax errors in the files or the result of the comparison. Note that this is not exactly the program that will be used for the evaluation of the test, but it is useful to determine if the output is well-formed.

For example, this script does not evaluate positions correctly.