cairo-lang-eq-solver (cargo): Equation solving for Sierra generation.
Keywords: cairo-lang|computational-integrity|starknet|zero-knowledge-proofs|zkp