Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
- atms
- ai-algorithms
- building-problem-solvers
- artificial-intelligence
- forbus-dekleer
- scala
- artificial-intelligence-algorithms
- ai
- truth-maintenance
- search
- tms
- jtms
Scala versions:
3.x
Latest version
[](https://index.scala-lang.org/jphmrst/bps/bps-scala)
JVM badge
[](https://index.scala-lang.org/jphmrst/bps/bps-scala)