{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/hatt","name":"hatt","description":"Hatt is a command-line program which prints truth tables\nfor expressions in classical propositional logic, and a\nlibrary allowing its parser, evaluator and truth table\ngenerator to be used in other programs. It includes support\nfor converting logical expressions into several normal\nforms.","version":"1.4.0","softwareVersion":"1.4.0","license":"https://spdx.org/licenses/BSD-3-Clause","url":"http://extralogical.net/projects/hatt","keywords":["bsd3","library","logic","program","Propose Tags"],"maintainer":[{"@type":"Person","name":"BenedictEastaugh"}],"author":[{"@type":"Person","name":"BenedictEastaugh"}],"copyrightHolder":[{"@type":"Person","name":"BenedictEastaugh"}],"dateCreated":"2011-01-30","dateModified":"2011-10-31","datePublished":"2011-10-31","copyrightYear":2011,"downloadUrl":"https://hackage.haskell.org/package/hatt-1.4.0/hatt-1.4.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/hatt"]}