Integrate SysGus (CVC5) for synthesis of a valid subset #49
Labels
enhancement
New feature or request
good first issue
Good for newcomers
help wanted
Extra attention is needed
The idea is to use Program Synthesis tools that address SysGus problems (e.g., CVC5 or z3) to solve a subset of programs (no polymorphism, only native operators).
Steps to implement this approach:
The text was updated successfully, but these errors were encountered: