let-def / smtlib-utils

A parser and some utils for SMTLIB. For a fully compliant parser, see https://github.com/Gbury/dolmen/.

https://c-cube.github.io/smtlib-utils/

Geek Repo

Github PK Tool