FsZ3 1.0.0

dotnet add package FsZ3 --version 1.0.0

NuGet\Install-Package FsZ3 -Version 1.0.0

此命令旨在在 Visual Studio 的包管理器控制台中使用，因为它使用 NuGet 模块的 Install-Package 版本。

<PackageReference Include="FsZ3" Version="1.0.0" />

对于支持 PackageReference 的项目，将此 XML 节点复制到项目文件中，以引用包。

paket add FsZ3 --version 1.0.0

NuGet 团队不提供对客户端的支持。请联系其维护者以获取支持。

#r "nuget: FsZ3, 1.0.0"

#r 指令可用于 F# Interactive 和 Polyglot Notebooks。将其复制到交互式工具或脚本的源代码中，以引用包。

// Install FsZ3 as a Cake Addin
#addin nuget:?package=FsZ3&version=1.0.0

// Install FsZ3 as a Cake Tool
#tool nuget:?package=FsZ3&version=1.0.0

NuGet 团队不提供对客户端的支持。请联系其维护者以获取支持。

这是 F# Z3 API 包装程序

产品	兼容的和额外的计算目标框架版本。
.NET Framework	net40 兼容。 net403 已计算。 net45 已计算。 net451 已计算。 net452 已计算。 net46 已计算。 net461 已计算。 net462 已计算。 net463 已计算。 net47 已计算。 net471 已计算。 net472 已计算。 net48 已计算。 net481 已计算。

兼容的目标框架

包含的目标框架（在包中）

了解更多关于目标框架和.NET Standard的信息。

此包未由任何NuGet包使用。

此包未由任何受欢迎的GitHub仓库使用。

版本	下载	最后更新
1.0.0	1,221	1/19/2017

发行说明