Questions tagged [cvc5]

There is number of examples in SyGuS format (https://sygus.org/language/) in cvc5 repo, e.g. https://github.com/cvc5/cvc5/tree/main/test/regress/cli/regress0/sygus. How do I read these files or corresponding strings into cvc5 Python script? I know…