markusbrammer / z3-dotnet Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

My attempt at understanding the Z3 API for .NET (F#)

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
examples		examples
.gitignore		.gitignore
README.md		README.md

Repository files navigation

z3-dotnet

Understanding the .NET API for Z3. Focused on F#.

The documentation for the API can be found here: https://z3prover.github.io/api/html/namespace_microsoft_1_1_z3.html. (All API documentations are available here: https://z3prover.github.io/api/html/.)

About

My attempt at understanding the Z3 API for .NET (F#)

fsharp dotnet z3 smt smt-solver z3-smt-solver

Report repository

Releases

No releases published

Packages

No packages published