@hackage simple-smt0.7.0

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.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
- 0.9.1 Thu, 28 Jun 2018

A simple way to interact with an SMT solver process.

Installation
In your cabal file:
Dependencies (0)
Dependents (2)
@hackage/cryptol, @hackage/co-feldspar