A Python library for logic formalisms representation and manipulation. - View it on GitHub