GitHub topics: smtlib2
tweag/smtlib-backends
A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.
Language: Haskell - Size: 218 KB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 19 - Forks: 2
bruderj15/Hasmtlib
A monad for interfacing with external SMT solvers
Language: Haskell - Size: 563 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 13 - Forks: 1
leonardoalt/adt_transform
Tries to remove tuples from smtlib2 instances by flattening them.
Language: SMT - Size: 146 KB - Last synced at: 24 days ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 1
