If using Cadical, default to Cadical
3 files changed