Logic Python Packages

tag-expressions

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

scitex-clew

Verifiable knowledge graph for scientific experiments

pyreason

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

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).

pynmms

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

unicode-fol-kit

Parse, translate, prove and model-check logic formulas in Unicode notation: first-order, modal, description and higher-order logic, one API over a dozen provers, and an MCP server

nemo-python

A fast in-memory rule engine

torchmodal

Differentiable modal logic for PyTorch: □ and ♢ as trainable layers over a Kripke structure, with sound interval bounds and a learnable accessibility relation. Oral @ NeSy 2026.

entity-query-language

A relational query language that is pythonic and intuitive.

digsim-logic-simulator

An interactive digital logic simulator with verilog support (Yosys)

sasy

History-aware AI-agent security policies written in logic (Datalog), enforced on every action

nnf

Manipulate NNF (Negation Normal Form) logical sentences

bauhaus

Build logical theories for SAT solvers on the fly

tensor-theorem-prover

First-order logic theorem prover supporting unification with approximate vector similarity

amr-logic-converter

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

flloat

From LTLf/LDLf To Automata

circuit

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

unicode-logic-kit

Parse, translate, prove and model-check logic formulas in Unicode notation: first-order, modal, description and higher-order logic, one API over a dozen provers, and an MCP server

extra-boolean

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

truth-table-generator

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

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

torch-explain

PyTorch Explain: Interpretable Deep Learning in Python.

circuitry

Embedded domain-specific combinator library for the abstract assembly and automated synthesis of logical circuits.