pylogics (pypi): A Python library for logic formalisms representation and manipulation.
Keywords: logic|propositional logic|predicate logic|temporal logic|ldl|ldlf|ltl|ltlf|pldl|pldlf|pltl|pltlf