@hackage smtlib-backends-tests0.3

Testing SMT-LIB backends.

This library provides common functions and values used for testing SMT-LIB backends, as provided by the smtlib-backends library.