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
cgravill/FSharpSMTExamples
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|