@hackage / smtLib

A library for working with the SMTLIB format.

Latest1.1

Changelog

1.1: Add declare-const 1.0: First release.