FsZ3 (nuget): This is a F# Z3 API wrapper
Keywords: z3|fsharp|constraint|solver|SAT