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

2K 5 5
bradleypallen
pynmms

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

1K 0 0
debarghaG
proofofthought

Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)

688 375 25
vishk23
arbiter-debate

Formally verified multi-agent debates

287 0 0
symcollab
symcollab-unification

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

197 3 0
symcollab
symcollab-moe

No description available

180 3 0
symcollab
symcollab-algebra

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

173 3 0
symcollab
symcollab-xor

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

150 3 0
symcollab
symcollab

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

145 3 0
symcollab
symcollab-rewrite

No description available

138 3 0
symcollab
symcollab-theories

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

138 3 0