boolector Satisfiability Modulo Theories (SMT) solver
YoWASP Boolector package
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: boolector major version
Y: boolector minor version
Z: boolector patch version
N: zero for packages built from boolector releases,
Nfor packages built from unreleased boolector snapshots;
Nis the amount of commits since the latest release
postM: package build version; disambiguates different builds produced from the same boolector source tree
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.
Release history Release notifications | RSS feed
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Hashes for yowasp_boolector-22.214.171.124.post23.dev0-py3-none-any.whl