{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/smtlib2-debug","name":"smtlib2-debug","version":"1.0","softwareVersion":"1.0","license":"https://spdx.org/licenses/GPL-3.0-only","keywords":["formal-methods","gpl","library","smt","symbolic-computation","theorem-provers","Propose Tags"],"maintainer":[{"@type":"Person","name":"HenningGuenther"}],"author":[{"@type":"Person","name":"HenningGuenther"}],"copyrightHolder":[{"@type":"Person","name":"HenningGuenther"}],"dateCreated":"2017-01-05","dateModified":"2017-01-05","datePublished":"2017-01-05","copyrightYear":2017,"downloadUrl":"https://hackage.haskell.org/package/smtlib2-debug-1.0/smtlib2-debug-1.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/smtlib2-debug"]}