From 5fa1b0b09fb3faecfa6dedf165e2e42bfedf8347 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 24 Aug 2021 09:48:33 -0700 Subject: [PATCH] update project description #5503 --- src/api/python/setup.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index 9ff3971e838..8c73c29e691 100644 --- a/src/api/python/setup.py +++ b/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="audrey@rhelmot.io", url='https://github.com/Z3Prover/z3', license='MIT License',