5 results
-
jphmrst/bps
Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
Scala versions: 3.x -
jphmrst/scala-automata
Representations of various versions of finite automata in Scala.
Scala versions: 3.x -
jphmrst/scalautils
Minor miscellaneous Scala utilities.
Scala versions: 3.x