Add MathSAT5 logic selection via option - #670

Open

baierd wants to merge 11 commits into

add_mathsat_logic_selection

Commits on Jun 8, 2026

MathSAT: update native API test for logics with more logics and make it an unsat query
baierd
committed
a8eef46
MathSAT: add logic option and implement provers with logics
baierd
committed
98e8361
MathSAT: add some comments to logic native test
baierd
committed
3d7a426
MathSAT wrapper: add missing argument type in new native API call
baierd
committed
e526cc0
MathSAT wrapper: revert changes to CONF_RETURN to make the wrapper not more complex and instead handle better error messages in JavaSMT directly
baierd
committed
7fafa15
MathSAT: make logic option not final ;D
baierd
committed
8dd5be7
MathSAT: remove native API test for failing to create a config with a invalid logic name (mathsat seems to ignore them)
baierd
committed
e81b6ed