The latest version of simple-smt is 0.9.8-0.
simple-smt
Version 0.9.4 revision 1 uploaded by HerbertValerioRiedel.
Package meta
- Synopsis
- A simple way to interact with an SMT solver process.
- Description
A simple way to interact with an SMT solver process.
- Author
- Iavor S. Diatchki
- Bug reports
- n/a
- Category
- Math
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- iavor.diatchki@gmail.com
- Package URL
- n/a
- Stability
- n/a