1 items across the graph — tagged with Boolean Constraint Propagation.
A logic-based Truth Maintenance System (LTMS) and pattern-directed reasoning engine in pure Python, after Forbus & de Kleer's Building Problem Solvers. Docs: ht…
