YoWASP Boolector package This package provides Boolector binaries built for WebAssembly. See the overview of the YoWASP project for details.