Check solution correctness #39

Closed
opened 2017-12-08 18:18:52 +01:00 by patrick · 0 comments
Owner

Javier pointed me to the postprocess.lp encoding, with which we can easily check the correctness of found plans. I should test all the results obtained with the planners with this method.

Javier pointed me to the `postprocess.lp` encoding, with which we can easily check the correctness of found plans. I should test all the results obtained with the planners with this method.
patrick added this to the Extended Paper for TPLP Journal milestone 2017-12-08 18:18:52 +01:00
patrick self-assigned this 2017-12-08 18:18:52 +01:00
patrick added the
benchmarks
task
labels 2017-12-08 18:18:52 +01:00
This repo is archived. You cannot comment on issues.
No Assignees
1 Participants
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

0001-01-01

Dependencies

No dependencies set.

Reference: patrick/plasp#39
No description provided.