jphmrst / bps 0.1.0

GitHub

Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.

artificial-intelligence-algorithms
artificial-intelligence
building-problem-solvers
ai-algorithms
jtms
scala
ai
tms
forbus-dekleer
truth-maintenance
atms
search

Scala versions: 3.x

Latest version

[![bps-scala Scala version support](https://index-dev.scala-lang.org/jphmrst/bps/bps-scala/latest.svg)](https://index-dev.scala-lang.org/jphmrst/bps/bps-scala)

JVM badge

[![bps-scala Scala version support](https://index-dev.scala-lang.org/jphmrst/bps/bps-scala/latest-by-scala-version.svg?platform=jvm)](https://index-dev.scala-lang.org/jphmrst/bps/bps-scala)