PyPI page
Home page
Author:
aare.ai
License:
MIT
Summary:
Z3 SMT verification engine for LLM compliance
Latest version:
0.3.0
Required dependencies:
pydantic
|
z3-solver
Optional dependencies:
flask
|
gunicorn
|
pytest
|
pytest-cov
Downloads last day:
28
Downloads last week:
71
Downloads last month:
91