Add the first example for z3pycompat (#7722)

This PR adds the first example for the z3py compat API.

diff --git a/docs/examples/lineararith.rst b/docs/examples/lineararith.rst
index f6914c88e76df1423c384aaacb91266cd0e70925..bcc7b9a997b0bdc451f5b1c3018a52f26146b25a 100644 (file)
--- a/docs/examples/lineararith.rst
+++ b/docs/examples/lineararith.rst
@@ -9,5 +9,6 @@ The two checks are separated by using :code:`push` and :code:`pop`.
 .. api-examples::
     <examples>/api/cpp/linear_arith.cpp
     <examples>/api/java/LinearArith.java
+    <z3pycompat>/test/pgms/example_linear_arith.py
     <examples>/api/python/linear_arith.py
     <examples>/api/smtlib/linear_arith.smt2