pythogic (pypi): Python package for deal with logical formulas and formal systems
Keywords: pythogic|first-order-logic|formal-languages|formal-logic|formal-methods|ldlf|linear-temporal-logic|logic|logic-formalisms|ltl|ltlf|propositional-logic