brew安装boolector
cmake>=3.3 gcc/clang g++/叮当声++
赛马拉松>=0.22
#下载并构建Boolector git克隆 https://github.com/boolector/boolector cd选择器 #下载并构建玲玲 ./contrib/setup-lingeling.sh #下载并构建BTOR2Tools ./contrib/setup-btor2工具.sh #构建Boolector ./configure.sh&&cd构建&&make
./configure.sh—python cd内部版本 制作
光盘文档 生成html
find_package(Boolector) 目标链接库(Boolector::Boolector)
cd内部版本 举例说明
PYTHONPATH=“build/lib”python示例/api/python/api_usage_examples.py
开发商原产地证书 版本1.1 版权所有(C)20042006 Linux Foundation及其贡献者。 莱特曼大道1号 D4700套房 加利福尼亚州旧金山,94129 每个人都可以复制和分发此文件的逐字副本 许可证文档,但不允许更改。 开发商原产地证书1.1 通过对本项目的贡献,我证明: (a) 贡献全部或部分由我和我创造 有权根据开源许可提交 文件中指出; 或 (b) 贡献是基于以前的工作 据我所知,已包含在适当的开放源代码中 许可证,我有权根据该许可证提交 使用修改,无论是全部还是部分创建 在同一个开源许可证下(除非我是 允许根据不同许可提交),如所示 在文件中; 或 (c) 捐款是由其他人直接提供给我的 证明(a)、(b)或(c)的人和我没有修改 它。 (d) 我理解并同意本项目及其贡献 是公开的,并且贡献的记录(包括所有 我随附的个人信息,包括我的签名)是 无限期地维护,并且可以按照 此项目或涉及的开源许可证。