PyPI page
Home page
Author:
None
License:
MIT
Summary:
Parser and toolkit for first-order logic formulas using Unicode operators
Latest version:
0.13.1
Required dependencies:
lark
|
z3-solver
Optional dependencies:
furo
|
myst-parser
|
pytest
|
pytest-xdist
|
sphinx
Downloads last day:
72
Downloads last week:
801
Downloads last month:
1,941