bppTool

install z3 SMT solver and run "python3 checking.py" (Ubuntu)

smt_generator.py: creates a python file named "constraint.py" and generates constraints on it
definition.py: definition of temperal logic formulas
structure.py: information from the inputs

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
__pycache__		__pycache__
README.md		README.md
checking.py		checking.py
constraint.py		constraint.py
definition.py		definition.py
definition.pyc		definition.pyc
head_codes.txt		head_codes.txt
input_format.txt		input_format.txt
last_codes.txt		last_codes.txt
smt_generator.py		smt_generator.py
smt_generator.pyc		smt_generator.pyc
structure.py		structure.py
structure.pyc		structure.pyc

Provide feedback