Projects in Awesome Lists tagged with building-problem-solvers
A curated list of projects in awesome lists tagged with building-problem-solvers .
https://github.com/jphmrst/bps
Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
ai ai-algorithms artificial-intelligence artificial-intelligence-algorithms atms building-problem-solvers forbus-dekleer jtms scala search tms truth-maintenance
Last synced: 22 Feb 2026
