Make it possible to enable/disable theories (and load their preludes or not) using the set-option command in SMT-LIB files#1363

hra687261 wants to merge 3 commits into

OCamlPro:nextOCamlPro/alt-ergo:nextfrom

hra687261:set-option-theorieshra687261/alt-ergo:set-option-theoriesCopy head branch name to clipboard