@hackage smt2-parser0.1.0.0

A Haskell parser for SMT-LIB version 2.6

Categories
License
BSD-3-Clause
Maintainer
2502project@gmail.com
Links
Versions
- 0.1.0.1 Sat, 8 Oct 2022
- 0.1.0.0 Wed, 2 Dec 2020

Installation
In your cabal file:
Dependencies (3)
- base >=4.13.0 && <4.14
- parsec >=3.1.14 && <3.2
- text >=1.2.4 && <1.3
Dependents (1)
@hackage/hevm

Please see the README on GitHub at https://github.com/crvdgc/smt2-parser#readme