{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/sbvPlugin","name":"sbvPlugin","description":"GHC plugin for proving properties over Haskell functions using SMT solvers, based\non the SBV package.\n\nSee Data.SBV.Plugin for a quick example, or the modules under Data.SBV.Plugin.Examples\nfor more details.","version":"9.14.1","softwareVersion":"9.14.1","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/LeventErkok/sbvPlugin","issueTracker":"https://github.com/LeventErkok/sbvPlugin/issues","url":"http://github.com/LeventErkok/sbvPlugin","keywords":["bsd3","formal-methods","library","math","smt","symbolic-computation","theorem-provers","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"LeventErkok"}],"author":[{"@type":"Person","name":"LeventErkok"}],"copyrightHolder":[{"@type":"Person","name":"LeventErkok"}],"dateCreated":"2015-12-07","dateModified":"2026-01-12","datePublished":"2026-01-12","copyrightYear":2015,"downloadUrl":"https://hackage.haskell.org/package/sbvPlugin-9.14.1/sbvPlugin-9.14.1.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/sbvPlugin"],"https://www.w3.org/ns/activitystreams#likes":47,"https://forgefed.org/ns#forks":7}