Skip to main content

boolector Satisfiability Modulo Theories (SMT) solver

Project description

YoWASP Boolector package

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


The version of this package is derived from the upstream boolector package version in the X.Y[.Z] format, and is comprised of five or six parts in a X.Y.Z.N.postM[.dev0] format:

  1. X: boolector major version
  2. Y: boolector minor version
  3. Z: boolector patch version
  4. N: zero for packages built from boolector releases, N for packages built from unreleased boolector snapshots; N is the amount of commits since the latest release
  5. postM: package build version; disambiguates different builds produced from the same boolector source tree
  6. dev0: present only for packages built from unreleased boolector snapshots; marks these packages as pre-releases.

With this scheme, there is a direct correspondence between upstream versions and PEP 440 Python package versions.


See the documentation for the Python YoWASP runtime.


This package is covered by the MIT license, which is the same as the Boolector license.

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distribution

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page