Model usage: fix usage of model values and model evaluation after changing the underlying context.#553

Merged

kfriedberger merged 11 commits intomasterfrom

fix/avoid-non-consistent-model-usage

Nov 23, 2025

Commits on Nov 17, 2025

Model usage: fix usage of model values and model evaluation after changing the underlying context.
kfriedberger
committed
Model usage: improve code.
kfriedberger
committed
Prover usage: simplify code and avoid redundant checks.
kfriedberger
committed

Commits on Nov 18, 2025

fix test: unsat-core access requires an unsat prover-state.
kfriedberger
committed
simplify code, and remove CachingModel where not required.
kfriedberger
committed

Commits on Nov 19, 2025

Commits on Nov 23, 2025