There are 0 repository under smtlib2 topic.
A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.
A monad for interfacing with external SMT solvers
Tries to remove tuples from smtlib2 instances by flattening them.