mirror of
https://github.com/Z3Prover/z3
synced 2026-05-16 23:25:36 +00:00
20c057446c
Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/fad9f824-9303-40c2-83d0-3df2d71fe9b9 Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
12 lines
267 B
XML
12 lines
267 B
XML
<Project Sdk="Microsoft.NET.Sdk">
|
|
|
|
<PropertyGroup>
|
|
<OutputType>Exe</OutputType>
|
|
<TargetFramework>net8.0</TargetFramework>
|
|
</PropertyGroup>
|
|
|
|
<ItemGroup>
|
|
<PackageReference Include="Microsoft.Z3" Version="$(Z3_VERSION)" />
|
|
</ItemGroup>
|
|
|
|
</Project>
|