The latest version of simple-smt is 0.9.8-0.
simple-smt
Version 0.5.5 revision 0 uploaded by IavorDiatchki.
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