{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:golang/github.com/operator-framework/gini","name":"github.com/operator-framework/gini","description":"Package gini provides a fast SAT solver.\n\nPackage gini contains both libraries and commands.  The libraries include\n\nThe commands include","version":"v1.1.0","softwareVersion":"v1.1.0","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/operator-framework/gini","issueTracker":"https://github.com/operator-framework/gini/issues","url":"https://github.com/operator-framework/gini","programmingLanguage":{"@type":"ComputerLanguage","name":"Go"},"dateCreated":"2018-03-31","dateModified":"2021-08-18","datePublished":"2021-08-18","copyrightYear":2018,"downloadUrl":"https://proxy.golang.org/github.com/operator-framework/gini/@v/v1.1.0.zip","softwareHelp":{"@type":"WebSite","url":"https://pkg.go.dev/github.com/operator-framework/gini#section-documentation"},"applicationCategory":"go","runtimePlatform":"go","developmentStatus":"active","sameAs":["https://pkg.go.dev/github.com/operator-framework/gini"],"https://www.w3.org/ns/activitystreams#likes":1,"https://forgefed.org/ns#forks":3}