smtlib-backends-z3
An SMT-LIB backend implemented using Z3's C API
homepage ↗ hackage: smtlib-backends-z3 github: tweag/smtlib-backends
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 0.3.1 | 1 | 2 d | details › |
An SMT-LIB backend implemented using Z3's C API
homepage ↗ hackage: smtlib-backends-z3 github: tweag/smtlib-backends
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 0.3.1 | 1 | 2 d | details › |