patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Check solution correctness #39

New Issue
Closed
opened 2017-12-08 18:18:52 +01:00 by patrick · 0 comments
patrick commented 2017-12-08 18:18:52 +01:00
Owner
Copy Link
Copy Source

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 benchmarkstask labels 2017-12-08 18:18:52 +01:00
This repo is archived. You cannot comment on issues.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
aesthetic
benchmarks
bug
documentation
duplicate
enhancement
help wanted
invalid
question
suggestion
task
wontfix
No labels benchmarks task
Milestone
No items
No Milestone Extended Paper for TPLP Journal
Assignees
Clear assignees
patrick (Patrick Lühne)
No Assignees patrick
1 Participants
Due Date
-
Dependencies

No dependencies set.

Reference: patrick/plasp#39