The latest version of smtLib is 1.1-0.

smtLib

Version 1.0.1 revision 0 uploaded by IavorDiatchki.

Package meta

Synopsis
A library for working with the SMTLIB format.
Description

A library for working with the SMTLIB format.

Author
Iavor S. Diatchki
Bug reports
n/a
Category
SMT
Copyright
n/a
Homepage
n/a
Maintainer
iavor.diatchki@gmail.com
Package URL
n/a
Stability
n/a

Components