ltms

Here are 3 public repositories matching this topic...

pisanuw / 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/

python logic inference artificial-intelligence tms sat-solver knowledge-representation reasoning ltms truth-maintenance jtms building-problem-solvers boolean-constraint-propagation forbus-de-kleer

Updated Jun 29, 2026
Python

Londiuh / MDJ-bot

Star

Bot de sala para fortnite especializado en los modos de juego

python bot fortnite fortnite-br fortnite-bot fortnitebot fortnite-cosmetics fortnitepy ltms mdj-bot

Updated Jul 22, 2020
Python

vihara-ambegoda / ioT-based-Smart-Energy-Meter

Star

IoT-Based Smart Energy Meter with Energy Forecasting

iot deep-learning simulation phpmyadmin forecasting proteus forecasting-time-series smart-energy-monitor ltms energy-calculation

Updated Aug 21, 2025
Python

Add this topic to your repo

To associate your repository with the ltms topic, visit your repo's landing page and select "manage topics."

Learn more