{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/mios","name":"mios","description":"A SAT solver written in Haskell.","version":"1.6.2","softwareVersion":"1.6.2","license":"https://spdx.org/licenses/GPL-3.0-only","codeRepository":"https://github.com/shnarazk/mios","issueTracker":"https://github.com/shnarazk/mios/issues","url":"https://github.com/shnarazk/mios","keywords":["artificial-intelligence","constraints","gpl","library","program","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"shnarazk"}],"author":[{"@type":"Person","name":"shnarazk"}],"copyrightHolder":[{"@type":"Person","name":"shnarazk"}],"dateCreated":"2016-07-17","dateModified":"2018-10-07","datePublished":"2018-10-07","copyrightYear":2016,"downloadUrl":"https://hackage.haskell.org/package/mios-1.6.2/mios-1.6.2.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/mios"],"https://www.w3.org/ns/activitystreams#likes":38,"https://forgefed.org/ns#forks":4}