mulval工具安装下载和安装说明: http://people.cs.ksu.edu/~xou/argus/software/mulval/readme.html
1、XSB安装
https://github.com/flavioc/XSB/blob/master/INSTALL
主要步骤:
1)cd XSB/build
2)./configure
3)./makexsb
4)Now you can run XSB using the shell script:
/home/ymn/software/XSB/bin/xsb
2、安装graphviz工具
https://stackoverflow.com/questions/29630434/graphviz-installation-ubuntu-14-04
安装遇到的问题:
“Dependency is not satisfiable: libgraphviz4 (>=2.18)”
解决办法:
This worked for me on a 64-bit machine.
Try adding these line