Check solution correctness #39
Labels
No Label
aesthetic
benchmarks
bug
documentation
duplicate
enhancement
help wanted
invalid
question
suggestion
task
wontfix
No Milestone
No Assignees
1 Participants
Due Date
Dependencies
No dependencies set.
Reference: patrick/plasp#39
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
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.