feat(planner): declare counter metrics so CMS+heap can prove non-negative weights - #593

feat(planner): declare counter metrics so CMS+heap can prove non-negative weights#593

zzylol wants to merge 3 commits into

stack/509-w1-stage3-costProjectASAP/ASAPPlanner:stack/509-w1-stage3-costfrom

stack/509-w6-counter-proofProjectASAP/ASAPPlanner:stack/509-w6-counter-proofCopy head branch name to clipboard