mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

Update maintainer info

Browse source
This commit is contained in:
Audrey Dutcher 2018-07-28 18:05:58 -07:00
parent 42af36563e
commit a7f7872f45
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/api/python/setup.py
View file

@ -179,8 +179,8 @@ setup(
description='an efficient SMT solver library', 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, compiliation, 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, compiliation, or installation, please submit issues to https://github.com/angr/angr-z3',
author="The Z3 Theorem Prover Project", author="The Z3 Theorem Prover Project",
maintainer="Andrew Dutcher", maintainer="Audrey Dutcher",
maintainer_email="andrew@andrewdutcher.com", maintainer_email="audrey@rhelmot.io",
url='https://github.com/Z3Prover/z3', url='https://github.com/Z3Prover/z3',
license='MIT License', license='MIT License',
keywords=['z3', 'smt', 'sat', 'prover', 'theorem'], keywords=['z3', 'smt', 'sat', 'prover', 'theorem'],