SMTLIB2 grammar

Author

Julian Thome julian.thome.de@gmail.com

Description

Grammar is baesd on the following specification: http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.6-r2017-07-18.pdf.

Links

• https://smt-lib.org/
• https://en.wikipedia.org/wiki/Satisfiability_modulo_theories

License

The MIT License (MIT)

Known Issues

This grammar is ambiguous in rules general_response, logic_attribue (mispelled), option, specific_success_response, start_, and theory_attribute.