cgravill/FSharpSMTExamples

F# SMT examples

F# SMT examples

Example of using the excellent Z3 SMT solver from F#.

.NET Core 3.0 and relies on the the https://www.nuget.org/packages/Microsoft.Z3.x64/ NuGet