Links for py-ltl-parser