diff --git a/scripts/mk_nuget_release.py b/scripts/mk_nuget_release.py index fe31dc16c..0b6f130b1 100644 --- a/scripts/mk_nuget_release.py +++ b/scripts/mk_nuget_release.py @@ -104,7 +104,7 @@ Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed - Copyright Microsoft Corporation. All rights reserved. + © Microsoft Corporation. All rights reserved. smt constraint solver theorem prover https://raw.githubusercontent.com/Z3Prover/z3/master/package/icon.jpg https://github.com/Z3Prover/z3