{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/BPS","name":"BPS","description":"Haskell monad transformer-based translations of two classic Truth Maintenance System algorithms of Forbus and de Kleer's Building Problem Solvers.  This version includes justification-based and assumption-based TMS (JTMS and ATMS) implementations.  See the GitHub repository https://github.com/jphmrst/bps/, or the Haddock documentation.","version":"0.1.1.0","softwareVersion":"0.1.1.0","license":"https://spdx.org/licenses/GPL-3.0-only","codeRepository":"https://github.com/jphmrst/bps","issueTracker":"https://github.com/jphmrst/bps/issues","url":"https://github.com/jphmrst/bps#readme","keywords":["gpl","library","program","truth-maintenance","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"jpmrst"}],"author":[{"@type":"Person","name":"jpmrst"}],"copyrightHolder":[{"@type":"Person","name":"jpmrst"}],"dateCreated":"2022-04-22","dateModified":"2022-09-13","datePublished":"2022-09-13","copyrightYear":2022,"downloadUrl":"https://hackage.haskell.org/package/BPS-0.1.1.0/BPS-0.1.1.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/BPS"],"https://www.w3.org/ns/activitystreams#likes":17,"https://forgefed.org/ns#forks":1}