PyPI page
Author:
Felix Vossel
License:
MIT
Summary:
Parse, translate, prove and model-check logic formulas in Unicode notation: first-order, modal, description and higher-order logic, one API over a dozen provers, and an MCP server
Latest version:
0.33.0
Required dependencies:
lark
|
z3-solver
Optional dependencies:
clingo
|
cvc5
|
datasets
|
evaluate
|
furo
|
mcp
|
minizinc
|
mypy
|
myst-parser
|
owlready2
|
pytest
|
pytest-xdist
|
rdkit
|
sphinx
Downloads last day:
6
Downloads last week:
242
Downloads last month:
0
7-day smoothing