smtlib2

Here are 4 public repositories matching this topic...

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

haskell-library smtlib2

A monad for interfacing with external SMT solvers

smtlib smt smt2 smtlib2 smt-lib2

Tries to remove tuples from smtlib2 instances by flattening them.

smt-solver smtlib2

Add a description, image, and links to the smtlib2 topic page so that developers can more easily learn about it.

To associate your repository with the smtlib2 topic, visit your repo's landing page and select "manage topics."