rme-what4: What4 adapter for the RME solver

[ bsd3, library, unclassified ] [ Propose Tags ] [ Report a vulnerability ]

This package provides an adapter for what4 to support solving boolean and bit-vector goals using the RME representation.

Modules

[Index] [Quick Jump]

Data
- RME
  - Data.RME.What4

Downloads

rme-what4-0.1.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

ryanglscott, galoisinc, mccleeary, sauclovian_g, aschwerdfeger_galois

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.1, 0.1.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.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
Source repo	head: git clone https://github.com/GaloisInc/rme(rme-what4)
Uploaded	by aschwerdfeger_galois at 2025-11-06T07:15:47Z
Distributions
Downloads	14 total (5 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-11-06 [all 1 reports]