update project description #5503

src/api/python/setup.py

@@ -296,9 +296,9 @@ def run(self):
     name='z3-solver',
     version=_z3_version(),
     description='an efficient SMT solver library',
-    long_description='Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types.\n\nFor documentation, please read http://z3prover.github.io/api/html/z3.html\n\nIn the event of technical difficulties related to configuration, compilation, or installation, please submit issues to https://github.com/angr/angr-z3',
+    long_description='Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types.\n\nFor documentation, please read http://z3prover.github.io/api/html/z3.html\n\nIn the event of technical difficulties related to configuration, compilation, or installation, please submit issues to https://github.com/z3prover/z3.git',
     author="The Z3 Theorem Prover Project",
-    maintainer="Audrey Dutcher",
+    maintainer="Audrey Dutcher and Nikolaj Bjorner",
     maintainer_email="[email protected]",
     url='https://github.com/Z3Prover/z3',
     license='MIT License',