@hackage rme-what40.1.2
What4 adapter for the RME solver
Categories
License
BSD-3-Clause
Maintainer
emertens@galois.com
Links
Versions
Installation
Dependencies (7)
- base ^>=4.17 || ^>=4.18 || ^>=4.19 || ^>=4.20 || ^>=4.21
- bv-sized ^>=1.0
- containers ^>=0.5 || ^>=0.6 || ^>=0.7 || ^>=0.8
- parameterized-utils ^>=2.0 || ^>=2.1
- rme ^>=0.1.1.99
- vector ^>=0.13 Show all…
Dependents (2)
@hackage/cryptol, @hackage/crux
This package provides an adapter for what4 to support solving boolean and bit-vector goals using the RME representation.