F# Z3 API wrapper

This is a F# Z3 API wrapper.

Version:	1.0.0
Author(s):	(c) 2017 by Phan Anh Dung, Henrik Feldt
Last Update:	Thursday, January 19, 2017
.NET Fiddle:	Create the first Fiddle
Project Url:	https://github.com/haf/FsZ3
NuGet Url:	https://www.nuget.org/packages/FsZ3

NuGet .NET CLI Paket CLIR Direct Download

Install-Package FsZ3

dotnet add package FsZ3

paket add FsZ3


                                FsZ3 Download (Unzip the "nupkg" after downloading)

F# Z3 API wrapper NuGet Package