mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
copyright
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
001c120169
commit
e19c119496
|
@ -104,7 +104,7 @@ Z3 is a satisfiability modulo theories solver from Microsoft Research.
|
|||
Linux Dependencies:
|
||||
libgomp.so.1 installed
|
||||
</description>
|
||||
<copyright>Copyright Microsoft Corporation. All rights reserved.</copyright>
|
||||
<copyright>© Microsoft Corporation. All rights reserved.</copyright>
|
||||
<tags>smt constraint solver theorem prover</tags>
|
||||
<iconUrl>https://raw.githubusercontent.com/Z3Prover/z3/master/package/icon.jpg</iconUrl>
|
||||
<projectUrl>https://github.com/Z3Prover/z3</projectUrl>
|
||||
|
|
Loading…
Reference in a new issue