Dependencies · cgravill/FSharpSMTExamples · GitHub

Dependency graph

2 Total

System.ValueTuple 4.3.1

NuGet · FSharpSMTExamples/packages.config · Detected automatically on Sep 21, 2017 · LicenseRef-github-OTHER
Paths for System.ValueTuple 4.3.1
Paths for System.ValueTuple 4.3.1
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
Microsoft.Z3.x64 4.8.7

NuGet · FSharpSMTExamplesCore/FSharpSMTExamplesCore.fsproj · Detected automatically on Dec 03, 2019 · LicenseRef-github-NOASSERTION
Paths for Microsoft.Z3.x64 4.8.7
Paths for Microsoft.Z3.x64 4.8.7
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive

ProTip! Supported ecosystems will have transitivity labels on their packages.