About

Metadata

  • Last updated , by aschwerdfeger_galois
  • License BSD-3-Clause
  • Maintained by: emertens@galois.com

  • Lottery factor: 4

Links

Installation

Readme

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