From fcf0c86c76ffc1a14b44ece91baeeeecabc61d03 Mon Sep 17 00:00:00 2001
From: AD <allexdav@gmail.com>
Date: Fri, 13 Mar 2026 18:57:29 +0300
Subject: [PATCH] =?UTF-8?q?Add=20APEX=20=E2=80=94=20concolic=20execution?=
 =?UTF-8?q?=20engine=20for=20Python?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index a7bc28b..5c85bdd 100644
--- a/README.md
+++ b/README.md
@@ -92,6 +92,7 @@
 
 * [CrossHair](https://github.com/pschanely/CrossHair) - Symbolic execution tool for verifying properties of Python functions.
 * [PyExZ3](https://github.com/thomasjball/PyExZ3) - Symbolic execution of Python functions. A rewrite of the [NICE](https://code.google.com/archive/p/nice-of) project's symbolic execution tool.
+* [APEX](https://github.com/allexdav2/apex) - Concolic execution engine for Python with coverage-guided test generation. Built in Rust.
 
 
 ### Ruby