Discrete Mathematics Python Packages

sll-core

SLL-Core: PyTorch library for automatic differentiation through discrete operations via Static Local Linearization.

dress-graph

DRESS: A Continuous Framework for Structural Graph Refinement

neuro-symbolic-core

A Python-based neuro-symbolic AI framework combining neural networks and symbolic logic. Implements custom tensors with autograd, neural layers, logic ASTs, and an interpreter to learn from facts and rules. Supports training, inference, and command-line execution without deep learning libraries.

tobara

TOBARA (The Only Boolean Algebra Reduction App) is a toolkit of Boolean function analysis whose main task is to reduce Boolean functions as much as possible. Our objetive is to determine information about the function like variables, terms and then reduce the function.

discrete-structures-mcp

AI-powered web platform for learning discrete mathematics through interactive tools and natural language chatbot using OpenAI Agents SDK & MCP protocol

pyterrgen

Procedural map generation with cellular automata in Python

propositiontable

Draw table of all possible values of a proposition

sympy-recursive

Resolve recursive sequences to explicit nth item formulas with SymPy.