PyPI page
Home page
Author:
None
License:
MIT
Summary:
LLM-based reasoning using Z3 theorem proving
Latest version:
1.0.1
Required dependencies:
numpy
|
openai
|
python-dotenv
|
scikit-learn
|
z3-solver
Optional dependencies:
black
|
mypy
|
pre-commit
|
pytest
|
ruff
Downloads last day:
4
Downloads last week:
9
Downloads last month:
33