{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/smtlib2","name":"smtlib2","description":"SMTLib2 interface implementation for Haskell","version":"0.3.1","softwareVersion":"0.3.1","license":"https://spdx.org/licenses/GPL-3.0-only","codeRepository":"https://github.com/hguenther/smtlib2","issueTracker":"https://github.com/hgoes/smtlib2/issues","keywords":["formal-methods","gpl","library","smt","symbolic-computation","theorem-provers","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"HenningGuenther"}],"author":[{"@type":"Person","name":"HenningGuenther"}],"copyrightHolder":[{"@type":"Person","name":"HenningGuenther"}],"dateCreated":"2014-12-07","dateModified":"2016-06-20","datePublished":"2016-06-20","copyrightYear":2014,"downloadUrl":"https://hackage.haskell.org/package/smtlib2-0.3.1/smtlib2-0.3.1.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/smtlib2"],"https://www.w3.org/ns/activitystreams#likes":18,"https://forgefed.org/ns#forks":6}