diff --git a/scripts/mk_nuget_release.py b/scripts/mk_nuget_release.py index ba0d44c3e..db7a1af64 100644 --- a/scripts/mk_nuget_release.py +++ b/scripts/mk_nuget_release.py @@ -85,7 +85,12 @@ def create_nuget_spec(): Microsoft.Z3 %s Microsoft - Z3 is a satisfiability modulo theories solver from Microsoft Research. + +Z3 is a satisfiability modulo theories solver from Microsoft Research. + +Linux Dependencies: + libgomp.so.1 installed + Copyright Microsoft Corporation. All rights reserved. smt constraint solver theorem prover https://raw.githubusercontent.com/Z3Prover/z3/master/package/icon.jpg