smtlib2-utils

A selection of utilities for SMT-LIB v2

Usage no npm install needed!

<script type="module">
  import smtlib2Utils from 'https://cdn.skypack.dev/smtlib2-utils';
</script>

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.