smtlib-backends
Low-level functions for SMT-LIB-based interaction with SMT solvers
homepage ↗ hackage: smtlib-backends github: tweag/smtlib-backends
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 0.4 | 1 | 2 d | details › |
Low-level functions for SMT-LIB-based interaction with SMT solvers
homepage ↗ hackage: smtlib-backends github: tweag/smtlib-backends
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 0.4 | 1 | 2 d | details › |