KeY/JSON config for SMT solvers#3597

Merged

wadoon merged 4 commits intomainfrom

weigl/smtsolversjson

Jan 14, 2026

Commits on Jan 12, 2026

Single file version of smt-solvers.json

wadoon
authored and
flo2702
committed
adding system property to specify further smt-solvers.json

wadoon
authored and
flo2702
committed
add a proper loading of preambles

wadoon
authored and
flo2702
committed

Commits on Jan 13, 2026

Fix typos in SolverPropertiesLoader

flo2702
authored and
wadoon
committed