tweag / smtlib-backends

A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.
19Updated last month

Alternatives and similar repositories for smtlib-backends:

Users that are interested in smtlib-backends are comparing it to the libraries listed below