Implement solution checker #24

New Issue

patrick · 2017-11-17T22:27:12+01:00

patrick commented

2017-11-17 22:27:12 +01:00

It would be really helpful to have a solution checker to test the correctness of plans found with a planner.

For this, a unified solution format would also be necessary along with a parser for that format.

It would be really helpful to have a solution checker to test the correctness of plans found with a planner. For this, a unified solution format would also be necessary along with a parser for that format.

patrick added this to the plasp 3.2.0 milestone 2017-11-17 22:27:12 +01:00

patrick self-assigned this 2017-11-17 22:27:12 +01:00

patrick added the

enhancement

label 2017-11-17 22:27:12 +01:00

patrick commented

2017-12-08 18:19:36 +01:00

Issue #39 is related to this. An easy way to implement a solution checker would be to use the postprocess.lp encoding.

Issue #39 is related to this. An easy way to implement a solution checker would be to use the `postprocess.lp` encoding.

This repo is archived. You cannot comment on issues.

No Label

No Milestone

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#24