{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/sbv-program","name":"sbv-program","description":"Given a library of available componen functions, synthesize a program implementing a specification.","version":"1.1.0.0","softwareVersion":"1.1.0.0","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/arrowd/sbv-program","issueTracker":"https://github.com/arrowd/sbv-program/issues","url":"https://github.com/arrowd/sbv-program","keywords":["bit-vectors","bsd3","formal-methods","library","smt","symbolic-computation","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"arrowd"}],"author":[{"@type":"Person","name":"arrowd"}],"copyrightHolder":[{"@type":"Person","name":"arrowd"}],"dateCreated":"2023-01-12","dateModified":"2023-01-26","datePublished":"2023-01-26","copyrightYear":2023,"downloadUrl":"https://hackage.haskell.org/package/sbv-program-1.1.0.0/sbv-program-1.1.0.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/sbv-program"],"https://forgefed.org/ns#forks":2}