LTL2BA

This project aims to transform LTL negtive normal formals to buchi automata

使用方法

python LTLParser.py

然后进行通过交互式命令输入要转化的LTL公式

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
LTL.py		LTL.py
LTLParser.py		LTLParser.py
README.md		README.md