pandaPIengine icon indicating copy to clipboard operation
pandaPIengine copied to clipboard

Published 20 hours ago • verified publisher icon panda-planner-dev

Set exit status from search.

Open rpgoldman opened this issue 1 year ago • 1 comments

There may be some spurious whitespace changes as my editor seems to have different opinions about C++ style. Unfortunately, I don't really know C++, so I'm not sure how to revert these format changes. Maybe your editor can?

rpgoldman avatar Nov 18 '23 22:11 rpgoldman

@galvusdamor I'm not sure I have it right, but I think we now have exit status from SAT, as well as forward search.

rpgoldman avatar Nov 21 '23 21:11 rpgoldman