The latest version of smtlib-backends-tests is 0.3-3.
smtlib-backends-tests
Version 0.3 revision 1 uploaded by FacundoDominguez.
Package meta
- Synopsis
- Testing SMT-LIB backends.
- Description
This library provides common functions and values used for testing SMT-LIB backends, as provided by the smtlib-backends library.
- Author
- Quentin Aristote
- Bug reports
- n/a
- Category
- SMT, Testing
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- quentin.aristote@tweag.io
- Package URL
- n/a
- Stability
- n/a