PyRank

Forbus De Kleer Python Packages

Python packages with the GitHub topic forbus-de-kleer. Sorted by relevance, with stars and monthly downloads.
pisanuw
ltms

A logic-based Truth Maintenance System and pattern-directed reasoning engine in Python, after Forbus & de Kleer, Building Problem Solvers.

449 3 1