PyPI page
Home page
Author:
pysymex Team
Summary:
EDUCATIONAL PURPOSES ONLY: A symbolic execution engine for studying formal verification concepts. Not for production use.
Latest version:
0.1.1a2
Required dependencies:
immutables
|
psutil
|
pydantic
|
rich
|
z3-solver
Downloads last day:
11
Downloads last week:
33
Downloads last month:
174