PyRank

Equivalence Checker Python Packages

Python packages with the GitHub topic equivalence-checker. Sorted by relevance, with stars and monthly downloads.
munich-quantum-toolkit
mqt-qcec

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

24K 114 26
mojtaba-eshghie
sindi

SInDi: Semantic Invariant Differencing for Solidity Smart Contracts

175 10 1
kosarev
eqbool

Testing boolean expressions for equivalence

144 0 0
mojtaba-eshghie
predi

Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts

6 10 1
mojtaba-eshghie
spi-solidity-predicate-inspector

Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts

2 10 1