building-problem-solvers topic
List
building-problem-solvers repositories
bps
16
Stars
1
Forks
Watchers
Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.