smtlibv2-grammar:ANTLR SMT-LIB v2语法

smtlibv2语法 smtlibv2-grammar是用于SMT-LIB语言（ ）的语法。 贡献者积分 非常感谢任何形式或形式的贡献（错误修正，改进，建议，评论）。 非常感谢以下所有贡献者的宝贵帮助。 （ ，错误修正： 地位 执照 MIT许可证（MIT） 版权所有（c）2017 Julian Thome 特此免费授予获得此软件和相关文档文件（“软件”）副本的任何人无限制地处理软件的权利，包括但不限于使用，复制，修改，合并的权利，发布，分发，再许可和/或出售本软件的副本，并允许具备软件的人员这样做，但须满足以下条件： 以上版权声明和此许可声明应包含在本软件的所有副本或大部分内容中。 本软件按“原样”提供，不提供任何形式的明示或暗示担保，包括但不限于对适销性，特定目的的适用性和非侵权性的担保。 无论是由于软件，使用或其他方式产生的，与之有关或与之有关的合同，侵权或其他形式的任何