The latest version of smtlib-backends-process is 0.3-4.
smtlib-backends-process
Version 0.3 revision 2 uploaded by FacundoDominguez.
Package meta
- Synopsis
- An SMT-LIB backend running solvers as external processes.
- Description
This library implements an SMT-LIB backend (in the sense of the smtlib-backends package) which runs solvers as external processes.
- Author
- Quentin Aristote
- Bug reports
- n/a
- Category
- SMT
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- quentin.aristote@tweag.io
- Package URL
- n/a
- Stability
- n/a