PyRank

Invariants Python Packages

Python packages with the GitHub topic invariants. Sorted by relevance, with stars and monthly downloads.
trajectory-invariants
invariants-py

Calculate invariant trajectory representations from trajectory data and generate new trajectories from invariant representations

289 6 0
mojtaba-eshghie
sindi

SInDi: Semantic Invariant Differencing for Solidity Smart Contracts

175 10 1
ThomasLeMezo
pyinvariant

Invariant is a guaranteed library to compute invariants associated to dynamical systems

14 0 1
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