PyPI page
Home page
Author:
pysymex Team
License:
AGPL-3.0-only
Summary:
EDUCATIONAL PURPOSES ONLY: A symbolic execution engine for studying formal verification concepts. Not for production use.
Latest version:
0.1.0a4
Required dependencies:
immutables
|
numba
|
numpy
|
pydantic
|
z3-solver
Optional dependencies:
hypothesis
|
psutil
|
pytest
|
pytest-asyncio
|
pytest-cov
|
pytest-timeout
|
pytest-xdist
|
rich
|
ruff
Downloads last day:
7
Downloads last week:
25
Downloads last month:
171