YoWASP Boolector 软件包

此软件包提供了为 Boolector 构建的二进制文件，适用于 WebAssembly。有关 YoWASP 项目的概述，请参阅 YoWASP 项目概述。

版本控制

此软件包的版本从 X.Y[.Z] 格式的上游 boolector 软件包版本中派生，并由五个或六个部分组成，格式为 X.Y.Z.N.postM[.dev0]

1. X：boolector 主版本
2. Y：boolector 次版本
3. Z：boolector 补丁版本
4. N：从 boolector 发布版本构建的软件包为零，从未发布 boolector 快照构建的软件包为 N；N 是自最新发布以来的提交次数
5. postM：软件包构建版本；区分来自同一 boolector 源树的不同的构建
6. dev0：仅存在于从未发布 boolector 快照构建的软件包中；将这些软件包标记为预发布。

根据此方案，上游版本与 PEP 440 Python 软件包版本之间存在直接对应关系。

配置

请参阅 Python YoWASP 运行时 的文档。

许可证

此软件包受 MIT 许可证 的保护，与 Boolector 许可证 相同。