Name		Name	Last commit message	Last commit date
cmake-build-debug		cmake-build-debug
formulas		formulas
parser		parser
CMakeLists.txt		CMakeLists.txt
LICENSE		LICENSE
README.md		README.md
ctl2snf		ctl2snf
formula.txt		formula.txt

Repository files navigation

ctl2snf

This project has a computation tree logic parser and transform ctl_formula to a set of formulas with separated normal form

根目录下的ctl2snf是生成的二进制可执行文件，可以对当前目录下的CTL公式的文件进行处理

运行环境:linux

用法

chmod 777 ctl2snf

./ctl2snf *.txt (tips:txt文件内容为ctl公式,每个公式须换行)

About

This project has a computation tree logic parser and transform ctl_formula to a set of formulas with separated normal form

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages