riseproject-dev · threexc · Jul 20, 2026 · Jul 17, 2026
diff --git a/ci_scripts/deprecated.txt b/ci_scripts/deprecated.txt
@@ -40,3 +40,4 @@ watchfiles
 websockets
 wrapt
 xxhash
+z3-solver
diff --git a/ci_scripts/packages.txt b/ci_scripts/packages.txt
@@ -48,4 +48,3 @@ tlparse
 tornado
 ujson
 uvloop
-z3-solver
diff --git a/docs/packages/z3-solver.yaml b/docs/packages/z3-solver.yaml
@@ -1,3 +1,4 @@
+deprecated:
 package-name: z3-solver
 source-code: https://github.com/Z3Prover/z3
 license: MIT
-Original file line number
+Diff line change
@@ Expand Up / @@ -40,3 +40,4 @@ watchfiles @@
     websockets
     wrapt
     xxhash
+    z3-solver