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

26K 111 24
mojtaba-eshghie
sindi

Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts

131 10 1
kosarev
eqbool

Testing boolean expressions for equivalence

88 0 0
mojtaba-eshghie
predi

Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts

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

Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts

2 10 1