README
smtlib2-utils
A selection of utilities for smtlib2.
Installation
You can install smtlib2-utils using:
npm install -g smtlib2-utils
Usage
As this is a library of utilities you can use it for a multitude of things. As of now this is only building smts.