SyGuS
已收录下载：1条
-
SyGuSLang是一款专门针对语法引导合成（SyGuS）问题的编辑扩展工具，旨在支持SyGuS输入格式（SyGuS-IF）的编辑工作。该扩展工具提供了以下核心功能：语法高亮：帮助用户快速识别和理解SyGuS代码中的不同元素，提高代码可读性。标准命令片段：内置所有标准SyGuS命令的片段，用户可以快速插入常用命令，提升编辑效率。通过SyGuSLang，用户可以更便捷地编写和修改SyGuS问题，45