search

SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications
MIT License
4 stars 1 forks source link

Support `metadata` command #14

Closed kjcjohnson closed 3 years ago

kjcjohnson commented 3 years ago

Support metadata as specified in https://github.com/SemGuS-git/Semgus-Lang/issues/19. This issue tracks the bare minimum functionality of "parse-n-ignore". Further enhancements to come later.