piwheels

cozy-re

The Cozy Comparative Symbolic Evaluation Engine

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install cozy-re

Dependencies

• networkx
• claripy
• textual
• portion
• angr

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Trixie Python 3.13	Files
1.5.3	2025-11-04
cozy_re-1.5.3-py3-none-any.whl (318 KB)
1.5.2	2024-12-05
cozy_re-1.5.2-py3-none-any.whl (318 KB)
1.5.1	2024-09-23
cozy_re-1.5.1-py3-none-any.whl (273 KB)
1.5.0	2024-07-03
cozy_re-1.5.0-py3-none-any.whl (267 KB)
1.4.0	2024-05-29
cozy_re-1.4.0-py3-none-any.whl (255 KB)
1.3.0	2024-03-29
cozy_re-1.3.0-py3-none-any.whl (1 MB)
1.2.2	2024-03-11
cozy_re-1.2.2-py3-none-any.whl (1 MB)
1.2.1	2024-02-29
cozy_re-1.2.1-py3-none-any.whl (1 MB)
1.2	2024-02-29
cozy_re-1.2-py3-none-any.whl (1 MB)
1.1	2024-02-09
cozy_re-1.1-py3-none-any.whl (1 MB)
1.0.3	2023-12-19
cozy_re-1.0.3-py3-none-any.whl (1 MB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue