{"spdxVersion":"SPDX-2.3","dataLicense":"CC0-1.0","SPDXID":"SPDXRef-DOCUMENT","name":"com.github.cgravill/FSharpSMTExamples","documentNamespace":"https://spdx.org/spdxdocs/protobom/0d402a89-0825-4e67-9334-338c94c84a38","creationInfo":{"creators":["Tool: protobom-v0.0.0-20251216165153-1f3f3060931e+dirty","Tool: GitHub.com-Dependency-Graph"],"created":"2025-12-28T09:30:02Z"},"packages":[{"name":"Microsoft.Z3.x64","SPDXID":"SPDXRef-nuget-Microsoft.Z3.x64-4.8.7-75c946","versionInfo":"4.8.7","downloadLocation":"NOASSERTION","filesAnalyzed":false,"copyrightText":"(c) 2008 VeriSign, Inc., (c) Microsoft Corporation., 5Copyright Microsoft Corporation., Copyright (c) Microsoft Corporation, Copyright Microsoft Corporation.","externalRefs":[{"referenceCategory":"PACKAGE-MANAGER","referenceType":"purl","referenceLocator":"pkg:nuget/Microsoft.Z3.x64@4.8.7"}]},{"name":"System.ValueTuple","SPDXID":"SPDXRef-nuget-System.ValueTuple-4.3.1-75c946","versionInfo":"4.3.1","downloadLocation":"NOASSERTION","filesAnalyzed":false,"copyrightText":"(c) 2008 VeriSign, Inc., (c) Microsoft Corporation., Copyright (c) .NET Foundation and Contributors","externalRefs":[{"referenceCategory":"PACKAGE-MANAGER","referenceType":"purl","referenceLocator":"pkg:nuget/System.ValueTuple@4.3.1"}]},{"name":"com.github.cgravill/FSharpSMTExamples","SPDXID":"SPDXRef-github-cgravill-FSharpSMTExamples-master-e80020","versionInfo":"master","downloadLocation":"git+https://github.com/cgravill/FSharpSMTExamples","filesAnalyzed":false,"licenseDeclared":"MIT","externalRefs":[{"referenceCategory":"PACKAGE-MANAGER","referenceType":"purl","referenceLocator":"pkg:github/cgravill/FSharpSMTExamples@master"}]}],"relationships":[{"spdxElementId":"SPDXRef-github-cgravill-FSharpSMTExamples-master-e80020","relatedSpdxElement":"SPDXRef-nuget-Microsoft.Z3.x64-4.8.7-75c946","relationshipType":"DEPENDS_ON"},{"spdxElementId":"SPDXRef-github-cgravill-FSharpSMTExamples-master-e80020","relatedSpdxElement":"SPDXRef-nuget-System.ValueTuple-4.3.1-75c946","relationshipType":"DEPENDS_ON"},{"spdxElementId":"SPDXRef-DOCUMENT","relatedSpdxElement":"SPDXRef-github-cgravill-FSharpSMTExamples-master-e80020","relationshipType":"DESCRIBES"}]}