Add support for indexed functions#507

Open

daniel-raffler wants to merge 17 commits intomasterfrom

indexed_functions

Commits on Aug 25, 2025

Indices: Extend the API to support indexed function symbols, such as like "extract" for bitvectors
daniel-raffler
committed
Indices: Add support for indexed functions symbols to the solver backends for Bitwuzla, CVC5, MathSAT, Princess and Z3
daniel-raffler
committed

Commits on Feb 27, 2026