.NET (bindings)

E2192479 UNEXPLORED

.NET (bindings) are language bindings that allow the Z3 theorem prover to be used from .NET-based languages such as C# and F#.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label Occurrences
.NET (bindings) canonical 1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Z3 → programmingLanguage → .NET (bindings) ⓘ