SyGuS Language

This is a small extension for editing syntax-guided synthesis (SyGuS) problems written in the (SyGuS input format)[https://sygus.org/language/].

Features

The extension provides basic features of SyGuS-IF:

• syntax highlighting.
• snippets for all standard commands.