@hackage / smtlib-backends-process

An SMT-LIB backend running solvers as external processes.

Latest0.3

Metadata

Last updated 4 Mar 2026, by FacundoDominguez
License MIT
Maintained by: quentin.aristote@tweag.io
Lottery factor: 0

Links

Installation

Add this line in your cabal file

Readme

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