{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/sat-micro-hs","name":"sat-micro-hs","version":"0.1.1","softwareVersion":"0.1.1","license":"https://spdx.org/licenses/Other","keywords":["algorithms","program","Propose Tags"],"maintainer":[{"@type":"Person","name":"DenisBueno"}],"author":[{"@type":"Person","name":"DenisBueno"}],"copyrightHolder":[{"@type":"Person","name":"DenisBueno"}],"dateCreated":"2008-02-27","dateModified":"2008-02-27","datePublished":"2008-02-27","copyrightYear":2008,"downloadUrl":"https://hackage.haskell.org/package/sat-micro-hs-0.1.1/sat-micro-hs-0.1.1.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/sat-micro-hs"]}