{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/picosat","name":"picosat","description":"Haskell bindings for PicoSAT solver","version":"0.1.6","softwareVersion":"0.1.6","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/sdiehl/haskell-picosat","issueTracker":"https://github.com/sdiehl/haskell-picosat/issues","url":"https://github.com/sdiehl/haskell-picosat","keywords":["library","logic","mit","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"C"},"maintainer":[{"@type":"Person","name":"sdiehl"}],"author":[{"@type":"Person","name":"sdiehl"}],"copyrightHolder":[{"@type":"Person","name":"sdiehl"}],"dateCreated":"2013-12-23","dateModified":"2019-12-30","datePublished":"2019-12-30","copyrightYear":2013,"downloadUrl":"https://hackage.haskell.org/package/picosat-0.1.6/picosat-0.1.6.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/picosat"],"https://www.w3.org/ns/activitystreams#likes":17,"https://forgefed.org/ns#forks":4}