rme-what4: What4 adapter for the RME solver
This package provides an adapter for what4 to support solving boolean and bit-vector goals using the RME representation.
Downloads
- rme-what4-0.1.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.17 && <4.22), bv-sized (>=1.0 && <1.1), containers (>=0.5 && <0.9), parameterized-utils (>=2.0 && <2.2), rme (>=0.1 && <0.2), vector (>=0.13 && <0.14), what4 (>=1.7 && <1.8) [details] |
| License | BSD-3-Clause |
| Copyright | 2025 Galois |
| Author | Eric Mertens |
| Maintainer | emertens@galois.com |
| Revised | Revision 1 made by ryanglscott at 2025-08-26T18:33:24Z |
| Source repo | head: git clone https://github.com/GaloisInc/rme(rme-what4) |
| Uploaded | by ryanglscott at 2025-08-26T16:50:58Z |
| Distributions | |
| Downloads | 4 total (4 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2025-08-26 [all 1 reports] |