Logic Python Packages | PyRank

tag-expressions

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

168K 3 1

scitex-clew

Verifiable knowledge graph for scientific experiments

14K 0 0

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

10K 4 4

entity-query-language

A relational query language that is pythonic and intuitive.

4K 4 1

iamai

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

4K 28 11

flloat

From LTLf/LDLf To Automata

2K 23 4

pyreason

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

2K 344 39

nnf

Manipulate NNF (Negation Normal Form) logical sentences

2K 20 9

pynmms

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

1K 0 0

digsim-logic-simulator

An interactive digital logic simulator with verilog support (Yosys)

983 28 0

amr-logic-converter

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

981 17 2

torch-explain

PyTorch Explain: Interpretable Deep Learning in Python.

958 174 17

bauhaus

Build logical theories for SAT solvers on the fly

779 8 2

vulcan-core

AI-Hybrid Rules Engine for Logical Reasoning.

745 17 4

circuit

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

745 6 2

tensor-theorem-prover

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

619 14 1

extra-boolean

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

588 0 1

deep-logic

Deep logic: Interpretable neural networks in Python.

583 53 10

iamai-adapter-kook

kook adapter for iamai.

559 28 11

jutl

A Python package of useful tools and utilities.

543 1 0

typeql-grammar

TypeQL: Built for systems, not records

542 252 54

latextocnf

python cli program to convert latex input to CNF (conjunctive normal form).

532 8 0

iamai-adapter-console

Console adapter for iamai.

530 28 11

iamai-adapter-apscheduler

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

525 28 11