@hackage BPS0.1.1.0

Translations of classic Truth Maintenance Systems

Categories
License
GPL-3.0-only
Maintainer
haskell-tms@maraist.org
Links
Versions
- 0.1.1.0 Tue, 13 Sep 2022
- 0.1.0.0 Fri, 22 Apr 2022

Installation
In your cabal file:
Dependencies (9)
- base >=4.14.1 && <4.15 || >=4.15.1 && <4.16 || >=4.16.0 && <4.17
- mtl >=2.2.2 && <2.3
- template-haskell
- transformers >=0.5.6 && <0.6
- STMonadTrans >=0.4.6 && <0.5
- extra >=1.7 && <1.8
Dependents (0)

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.

@hackage BPS0.1.1.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (9)

Dependents (0)