smtlib-backends-process: An SMT-LIB backend running solvers as external processes.

[ library, mit, smt ] [ Propose Tags ]

This library implements an SMT-LIB backend (in the sense of the smtlib-backends package) which runs solvers as external processes.


[Index] [Quick Jump]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 0.2, 0.3
Change log
Dependencies base (>=4.14 && <4.18), bytestring (>=0.10.12 && <0.12), process (>=1.6 && <1.7), smtlib-backends (>=0.3 && <0.4) [details]
License MIT
Author Quentin Aristote
Category SMT
Source repo head: git clone
this: git clone 0.3)(smtlib-backends-process)
Uploaded by qaristote at 2023-02-06T10:26:32Z
Distributions NixOS:0.3
Downloads 234 total (30 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]