BPS: Translations of classic Truth Maintenance Systems
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.
[Skip to Readme]
Modules
[Index] [Quick Jump]
Downloads
- BPS-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1.0.0, 0.1.1.0 |
|---|---|
| Change log | ChangeLog.md |
| Dependencies | base (>=4.14.1 && <4.15 || >=4.15.1 && <4.16 || >=4.16.0 && <4.17), BPS, extra (>=1.7 && <1.8), free, mtl (>=2.2.2 && <2.3), resourcet, STMonadTrans (>=0.4.6 && <0.5), symbol (>=0.2.4 && <0.3), template-haskell, transformers (>=0.5.6 && <0.6) [details] |
| License | GPL-3.0-only |
| Copyright | 2022 John Maraist; 1986-1993 Kenneth D. Forbus, Johan de Kleer and Xerox Corporation |
| Author | John Maraist |
| Maintainer | haskell-tms@maraist.org |
| Category | Truth maintenance |
| Home page | https://github.com/jphmrst/bps#readme |
| Bug tracker | https://github.com/jphmrst/bps/issues |
| Source repo | head: git clone https://github.com/jphmrst/bps |
| Uploaded | by jpmrst at 2022-04-22T00:24:50Z |
| Distributions | |
| Executables | hbps |
| Downloads | 126 total (8 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2022-04-22 [all 1 reports] |