{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/holmes","name":"holmes","description":"A reference library for constraint-solving with propagators and CDCL.","version":"0.3.2.0","softwareVersion":"0.3.2.0","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/i-am-tom/holmes","issueTracker":"https://github.com/i-am-tom/holmes/issues","url":"https://github.com/i-am-tom/holmes/","keywords":["data","library","mit","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"i_am_tom"}],"author":[{"@type":"Person","name":"i_am_tom"}],"copyrightHolder":[{"@type":"Person","name":"i_am_tom"}],"dateCreated":"2020-03-09","dateModified":"2021-01-04","datePublished":"2021-01-04","copyrightYear":2020,"downloadUrl":"https://hackage.haskell.org/package/holmes-0.3.2.0/holmes-0.3.2.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/holmes"],"https://www.w3.org/ns/activitystreams#likes":308,"https://forgefed.org/ns#forks":16}