@hackage / smtlib-backends-process

An SMT-LIB backend running solvers as external processes.

0.3

Dependents

@hackage / hasmtlib A monad for interfacing with external SMT solvers
- Version: 2.8.1
- Last uploaded: about 1 year ago
- License: GPL-3.0-only
@hackage / liquid-fixpoint Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
- Version: 8.10.7
- Last uploaded: 3 years ago
- License: BSD-3-Clause