The SyGuS standard stipulates that a SyGuS search should either output a list of define-fun commands (if successful) or "fail". Given this standardization I was wondering if there was an independent verifier. I.E A tool that given a SyGuS problem file and a define-fun string will check weather the proposed solution is indeed correct.
The SyGuS standard stipulates that a SyGuS search should either output a list of define-fun commands (if successful) or "fail". Given this standardization I was wondering if there was an independent verifier. I.E A tool that given a SyGuS problem file and a define-fun string will check weather the proposed solution is indeed correct.