PyRank

Automated Reasoning Python Packages

Python packages with the GitHub topic automated-reasoning. Sorted by relevance, with stars and monthly downloads.
gaperez64
acacia-boomslang

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains

5K 5 5
bradleypallen
pynmms

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

342 0 0
vishk23
arbiter-debate

Open-source framework for formally verifying academic paper claims using multi-agent LLM debate + Z3/Knuckledragger proof certificates. Supports OpenAI, Anthropic, Google, Grok.

313 0 0
debarghaG
proofofthought

LLM-based reasoning using Z3 theorem proving

201 371 24
symcollab
symcollab-moe

Moved to https://github.com/CryptoSolvers/CryptoSolve

179 3 0
symcollab
symcollab-unification

Moved to https://github.com/CryptoSolvers/CryptoSolve

103 3 0
symcollab
symcollab-xor

Moved to https://github.com/CryptoSolvers/CryptoSolve

101 3 0
symcollab
symcollab-algebra

Moved to https://github.com/CryptoSolvers/CryptoSolve

97 3 0
symcollab
symcollab-theories

Moved to https://github.com/CryptoSolvers/CryptoSolve

95 3 0
symcollab
symcollab

Moved to https://github.com/CryptoSolvers/CryptoSolve

93 3 0
symcollab
symcollab-rewrite

Moved to https://github.com/CryptoSolvers/CryptoSolve

93 3 0