Logic Python Packages

tag-expressions

Python implementation of Shunting-yard Algorithm to evaluate logical tag expressions

scitex-clew

Verifiable knowledge graph for scientific experiments

ripple-down-rules

A python implementation of the various ripple down rules versions, including Single Classification (SCRDR), Multi Classification (MCRDR), and Generalised Ripple Down Rules (GRDR).

pyreason

An explainable inference software supporting annotated, real valued, graph based and temporal logic

iamai

A rule-driven comprehensive AI toolkit emphasizing simultaneous support for multimodal machine learning and the ability to construct cross-platform robots using logic.（规则驱动式的综合性人工智能工具库，强调同时支持多模态机器学习和利用逻辑构建跨平台机器人的能力）

entity-query-language

Provides a relational query language that is pythonic and intuitive. Entity Query Language serves as a front end to other query languages like sql or prolog

tensor-theorem-prover

Customizable first-order logic theorem prover supporting approximate vector similarity in unification

vulcan-core

AI-Hybrid Rules Engine for Logical Reasoning.

amr-logic-converter

Convert Abstract Meaning Representation (AMR) into first-order logic

torch-explain

PyTorch Explain: Interpretable Deep Learning in Python.

circuit

Minimal pure Python library for building and working with logical circuits.

digsim-logic-simulator

An interactive digital logic simulator with verilog support (Yosys)

pynmms

pyNMMS — An automated reasoner for the Non-Monotonic Multi-Succedent sequent calculus from Hlobil & Brandom 2025

nnf

Manipulate NNF (Negation Normal Form) logical sentences

flloat

A Python implementation of the FLLOAT library.

deep-logic

Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.

mathesis

Python library for computational formal logic, formal semantics, and theorem proving

extra-boolean

Boolean data type has two possible truth values to represent logic.

jutl

A Python package of useful tools and utilities.

bauhaus

Build logical theories for SAT solvers on the fly

typeql-grammar

TypeQL Grammar for Python

truth-table-generator

truth-table-generator is a tool that allows to generate a truth table

iamai-adapter-apscheduler

apscheduler adapter for iamai.

iamai-adapter-kook

kook adapter for iamai.