Projects in Awesome Lists tagged with smtlib2

A curated list of projects in awesome lists tagged with smtlib2 .

• Sort

  • Recently synced
  • Stars

https://github.com/tweag/smtlib-backends

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

haskell-library smtlib2

Last synced: 03 Feb 2026

https://github.com/bruderj15/hasmtlib

A monad for interfacing with external SMT solvers

smt smt-lib2 smt2 smtlib smtlib2

Last synced: 18 Feb 2026

https://github.com/leonardoalt/adt_transform

Tries to remove tuples from smtlib2 instances by flattening them.

smt-solver smtlib2

Last synced: 18 Feb 2026