PyPI page
Home page
Author:
pisanuw
Summary:
A logic-based Truth Maintenance System and pattern-directed reasoning engine in Python, after Forbus & de Kleer, Building Problem Solvers.
Latest version:
0.1.0
Optional dependencies:
build
|
hypothesis
|
mypy
|
pytest
|
python-sat
|
ruff
Downloads last day:
2
Downloads last week:
11
Downloads last month:
161