{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:golang/github.com/ericr/saturday","name":"github.com/ericr/saturday","description":"A SAT solver. It's maybe kinda fast and correct?","version":"v0.0.0-20181222031909-45bf4ccb9a4d","softwareVersion":"v0.0.0-20181222031909-45bf4ccb9a4d","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/ericr/saturday","issueTracker":"https://github.com/EricR/saturday/issues","url":"https://github.com/ericr/saturday","programmingLanguage":{"@type":"ComputerLanguage","name":"Go"},"dateCreated":"2018-12-22","dateModified":"2018-12-22","datePublished":"2018-12-22","copyrightYear":2018,"downloadUrl":"https://proxy.golang.org/cached-only/github.com/ericr/saturday/@v/v0.0.0-20181222031909-45bf4ccb9a4d.zip","softwareHelp":{"@type":"WebSite","url":"https://pkg.go.dev/github.com/ericr/saturday#section-documentation"},"applicationCategory":"go","runtimePlatform":"go","developmentStatus":"active","sameAs":["https://pkg.go.dev/github.com/ericr/saturday"]}