smtlib2-utils v1.0.0

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.