FsZ3

This is a F# Z3 API wrapper


Keywords
z3, fsharp, constraint, solver, SAT
License
MIT
Install
Install-Package FsZ3 -Version 1.0.0