1 results

Sorting

Contributing Search

Filters

Languages
Platforms
Topics
  1. project logo

    jphmrst/bps   0.1.0

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

    Scala versions: 3.x
    16 1