pymetheus (pypi): Logical Reasoning for Deep Nets
Keywords: pymetheus