mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
update project description #5503
This commit is contained in:
parent
23b995d3b5
commit
5fa1b0b09f
|
@ -296,9 +296,9 @@ setup(
|
|||
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',
|
||||
|
|
Loading…
Reference in a new issue