Search All packages Top packages Track packages
PyPI page Home page Author: Marco Favorito License: MIT license Summary: Python package for deal with logical formulas and formal systems Latest version: 0.2.9 Downloads last day: 0 Downloads last week: 7 Downloads last month: 38