buddy是什么

时间:2020/11/16 06:44:39

简介

buddy是一个二进制决策图开发库,它包括许多功能,比如:许多高效的矢量化BDD操作,动态变量重新排序,自动垃圾收集,具有自动引用计数的C++接口等等。

编译和测试方式

1.配置编译环境

安装wget工具。

yum install wget -y

2.获取源码

获取“buddy-2.4”源码包。

cd /usr/local/src

wget https://downloads.sourceforge.net/project/buddy/buddy/BuDDy%202.4/buddy-2.4.tar.gz

3.编译和安装

1)解压软件包。

tar -zxvf buddy-2.4.tar.gz

2)进入buddy的安装目录。

cd buddy-2.4/

3)修改配置文件

vi tools/config.sub

查找“x86”内容的位置,在其位置后面增加“aarch64”类型。

在“case $basic_machine in”区域的两个位置修改。

a)修改下述内容。

| x86 | xscale | xstormy16 | xtensa \

修改后为:

| x86| aarch64 |xscale | xstormy16 | xtensa \

b)修改下述内容。

| x86-* | x86_64-* | xps100-* | xscale-* | xstormy16-* \

修改后为:

| x86-* | aarch64-* |x86_64-* | xps100-* | xscale-* | xstormy16-* \

4)配置生成Makefile文件。

./configure --host=aarch64 --build=aarch64

5)编译和安装buddy。

make && make install

----结束

4.运行和验证

1)编译安装tcsh。

yum install tcsh -y

2)进入测试目录。

这里选择进入money的测试目录。

cd /usr/local/src/buddy-2.4/examples/money

3)生成测试程序。

g++ money.cxx -o money -lbdd

4)运行测试程序。

./money

系统回显如下,表示运行正常。

Garbage collection #1: 10007 nodes / 5417 free / 0.0s / 0.0s total

Garbage collection #2: 10007 nodes / 823 free / 0.0s / 0.0s total

<0:9, 1:5, 2:6, 3:7, 4:1, 5:0, 6:8, 7:2, 8:1, 9:1, 10:0>

----结束

上一篇: conflict是什么

下一篇: 跨站请求伪造

猜你喜欢