(wip) ltlpy Linear temporal logic for python. Acknowledgement Thanks Christian Fritz for introducing me to linear temporal logic.