The latest version of smtLib is 1.1-0.
smtLib
Version 1.0.7 revision 1 uploaded by HerbertValerioRiedel.
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