smtlib-backends-process

An SMT-LIB backend running solvers as external processes.

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