Solver independent interpolation#560

Open

juliusbrehme wants to merge 39 commits intomasterfrom

solver_independent_interpolation2_arm64

Commits on Apr 7, 2025

Add general implementation for retrieving the 2 interpolation groups of asserted formulas from our tracking of asserted formulas
baierd
committed
Add the new interpolation options to the ProverOptions
baierd
committed

Commits on Apr 16, 2025

Add a prover delegate for solver-independent interpolation to Prover creation in AbstractSolverContext
baierd
committed

Commits on Nov 23, 2025

Merge branch 'master' into solver_independent_interpolation2_arm64
juliusbrehme
committed

Commits on Nov 28, 2025

First changes to get the independent interpolation method working
juliusbrehme
committed

Commits on Dec 13, 2025

Commits on Dec 14, 2025

update independent interpolation logic and tests
juliusbrehme
committed

Commits on Dec 18, 2025

Commits on Jan 29, 2026

Commits on Feb 6, 2026

Merge branch 'master' of github.com:sosy-lab/java-smt into solver_independent_interpolation2_arm64
juliusbrehme
committed