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

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

vulcan-core

AI-Hybrid Rules Engine for Logical Reasoning.

tensor-theorem-prover

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

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)

nnf

Manipulate NNF (Negation Normal Form) logical sentences

pynmms

An automated reasoner for the Non-Monotonic Multi-Succedent (NMMS) sequent calculus from Hlobil & Brandom 2025, Ch. 3.

deep-logic

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

flloat

A Python implementation of the FLLOAT library.

extra-boolean

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

mathesis

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

jutl

A Python package of useful tools and utilities.

bauhaus

Build logical theories for SAT solvers on the fly

truth-table-generator

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

typeql-grammar

TypeQL Grammar for Python

pythogic

A Python package for deal with logical formulas and formal systems (e.g. FOL)

iamai-adapter-apscheduler

apscheduler adapter for iamai.