@hackage rme-what40.1

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.