OMNeT++中手动引入Z3求解器

        虽然OMNeT++中有自带的z3头文件，但是实际使用中会提示报错，推测是自带的z3版本过低，而OMNeT++目前已经是6.0.1版本了，所以需要手动引入较新版本的z3库，下面是我总结的具体流程：

        一、把对应的Z3库文件放到对应的工程目录下：

 其中，可执行文件的内容是：

 

        二、在OMNeT++界面的工程中引入已经放入对应目录下的Z3库：

1.首先，在OMNeT++界面右键可执行文件，选择“Properties”；

2.其次，按照以下步骤：

3.进入Options之后，选择林肯，并且添加“z3”：

 

4.最后回到Properties界面，点击“Apply and Close'即可。 到这里，z3库已经完全引入了。 

        三、在需要用到Z3库的时候，正常在头文件中引用Z3库即可，可以先写一个简单的例子试一下是否可以正常使用Z3的求解器。                

#include"z3++.h"

using namespace z3;

示例代码：