Boolean Constraint Propagation Python Packages

Python packages with the GitHub topic boolean-constraint-propagation. Sorted by monthly downloads, with stars and forks.

ltms

A logic-based Truth Maintenance System (LTMS) and pattern-directed reasoning engine in pure Python, after Forbus & de Kleer's Building Problem Solvers. Docs: https://pisanuw.github.io/ltms/

76 4 1