mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

readme

Browse source 
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
This commit is contained in:
NikolajBjorner 2023-12-05 08:03:28 -08:00
parent f5ae8c324c
commit 23fcb4376f
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
scripts/mk_nuget_task.py
View file

@ -108,6 +108,7 @@ Linux Dependencies:
<copyright>&#169; Microsoft Corporation. All rights reserved.</copyright> <copyright>&#169; Microsoft Corporation. All rights reserved.</copyright>
<tags>smt constraint solver theorem prover</tags> <tags>smt constraint solver theorem prover</tags>
<icon>content/icon.jpg</icon> <icon>content/icon.jpg</icon>
<readme>content/readme.md</readme>
<projectUrl>https://github.com/Z3Prover/z3</projectUrl> <projectUrl>https://github.com/Z3Prover/z3</projectUrl>
<license type="expression">MIT</license> <license type="expression">MIT</license>
<repository type="git" url="{1}" branch="{2}" commit="{3}" /> <repository type="git" url="{1}" branch="{2}" commit="{3}" />