| Metadata-Version: |
2.1 |
| Name: |
z3-armor |
| Version: |
0.0.1 |
| Summary: |
Constraint-based obfuscation using z3. |
| Author: |
Dashstrom |
| Author-Email: |
dashstrom.pro[at]gmail.com |
| Maintainer: |
Dashstrom |
| Maintainer-Email: |
dashstrom.pro[at]gmail.com |
| Home-Page: |
https://github.com/Dashstrom/z3-armor |
| Project-Url: |
Documentation, https://dashstrom.github.io/z3-armor |
| Project-Url: |
Repository, https://github.com/Dashstrom/z3-armor |
| License: |
MIT |
| Keywords: |
python |
| Classifier: |
Development Status :: 3 - Alpha |
| Classifier: |
Environment :: Console |
| Classifier: |
Framework :: Pytest |
| Classifier: |
Framework :: Sphinx |
| Classifier: |
Framework :: tox |
| Classifier: |
Intended Audience :: Developers |
| Classifier: |
Intended Audience :: System Administrators |
| Classifier: |
License :: OSI Approved :: MIT License |
| Classifier: |
Natural Language :: English |
| Classifier: |
Operating System :: OS Independent |
| Classifier: |
Programming Language :: Python :: 3 |
| Classifier: |
Programming Language :: Python :: 3.8 |
| Classifier: |
Programming Language :: Python :: 3.9 |
| Classifier: |
Programming Language :: Python :: 3.10 |
| Classifier: |
Programming Language :: Python :: 3.11 |
| Classifier: |
Programming Language :: Python :: 3.12 |
| Classifier: |
Programming Language :: Python :: 3 :: Only |
| Classifier: |
Typing :: Typed |
| Requires-Python: |
>=3.8 |
| Requires-Dist: |
commitizen (==3.25.0); extra == "tasks" |
| Requires-Dist: |
coverage[toml] (==7.5.0); extra == "cov" |
| Requires-Dist: |
jinja2 |
| Requires-Dist: |
mypy (==1.10.0); extra == "lint" or extra == "format" |
| Requires-Dist: |
poethepoet (==0.26.1); extra == "tasks" |
| Requires-Dist: |
pre-commit (==3.5.0); extra == "tasks" |
| Requires-Dist: |
pytest (==8.2.0); extra == "test" or extra == "cov" or extra == "lint" or extra == "format" |
| Requires-Dist: |
pytest-cov (==5.0.0); extra == "cov" |
| Requires-Dist: |
pytest-mock (==3.14.0); extra == "test" or extra == "cov" or extra == "lint" or extra == "format" |
| Requires-Dist: |
ruff (==0.4.3); extra == "lint" or extra == "format" |
| Requires-Dist: |
sphinx (==7.1.2); extra == "docs" |
| Requires-Dist: |
sphinx-rtd-theme (==2.0.0); extra == "docs" |
| Requires-Dist: |
sphinxcontrib-mermaid (==0.9.2); extra == "docs" |
| Requires-Dist: |
typing-extensions (>=4.8.0) |
| Requires-Dist: |
z3-solver |
| Provides-Extra: |
cov |
| Provides-Extra: |
docs |
| Provides-Extra: |
format |
| Provides-Extra: |
lint |
| Provides-Extra: |
tasks |
| Provides-Extra: |
test |
| Description-Content-Type: |
text/x-rst |