Closed kjcjohnson closed 1 year ago
We need to add unique identifiers to CHCs, otherwise there isn't a good way to process a SemGuS file through another tool that produces artifacts about each CHC - and then match those CHCs back to what's in the original file.
We need to add unique identifiers to CHCs, otherwise there isn't a good way to process a SemGuS file through another tool that produces artifacts about each CHC - and then match those CHCs back to what's in the original file.