ldlf
A Python library for logic formalisms representation and manipulation.
From LTLf/LDLf To Automata
Python package for deal with logical formulas and formal systems