{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/minisat-solver","name":"minisat-solver","version":"0.1","softwareVersion":"0.1","license":"https://spdx.org/licenses/MIT","url":"http://www.mathstat.dal.ca/~selinger/minisat-solver/","keywords":["library","logic","mit","Propose Tags"],"maintainer":[{"@type":"Person","name":"PeterSelinger"}],"author":[{"@type":"Person","name":"PeterSelinger"}],"copyrightHolder":[{"@type":"Person","name":"PeterSelinger"}],"dateCreated":"2016-10-24","dateModified":"2016-10-24","datePublished":"2016-10-24","copyrightYear":2016,"downloadUrl":"https://hackage.haskell.org/package/minisat-solver-0.1/minisat-solver-0.1.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/minisat-solver"]}