smtlib-backends-process
An SMT-LIB backend running solvers as external processes
homepage ↗ hackage: smtlib-backends-process github: tweag/smtlib-backends
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 0.3 | 1 | 2 d | details › |
An SMT-LIB backend running solvers as external processes
homepage ↗ hackage: smtlib-backends-process github: tweag/smtlib-backends
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 0.3 | 1 | 2 d | details › |