mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 02:45:51 +00:00
Code Activity

update path reference to readme

Browse source
This commit is contained in:
Nikolaj Bjorner 2023-12-05 13:47:05 -08:00
parent d566eb3df7
commit 111ce01702
2 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_util.py
View file

@ -1746,7 +1746,7 @@ class DotNetDLLComponent(Component):
<ItemGroup>
<Compile Include="..\%s\*.cs;*.cs" Exclude="bin\**;obj\**;**\*.xproj;packages\**" />
<None Include="..\%s\README.md" Pack="true" PackagePath="\"/>
<None Include="%s\README.md" Pack="true" PackagePath="\"/>
</ItemGroup>
</Project>""" % (version, key, self.to_src_dir, self.src_dir)

3
src/api/dotnet/README.md Normal file
View file

@ -0,0 +1,3 @@
# Z3 Nuget Package
For more information see [the Z3 github page](https://github.com/z3prover/z3.git)