@hackage simple-smt0.9.8

A simple way to interact with an SMT solver process.

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
iavor.diatchki@gmail.com
Links
Versions
- 0.9.8 Fri, 13 Dec 2024
- 0.9.7 Tue, 29 Jun 2021
- 0.9.6 Mon, 22 Mar 2021
- 0.9.5 Wed, 8 Jul 2020
- 0.9.4 Sun, 14 Apr 2019
- 0.9.3 Sun, 14 Apr 2019

Installation
In your cabal file:
Dependencies (2)
- base >=4.8 && <10
- process
Dependents (3)
@hackage/cryptol, @hackage/co-feldspar, @hackage/acme-everything

A simple way to interact with an SMT solver process.