Very simple question, for which I failed to find an explanation: what does "modulo" mean in the "Satisfiability Modulo Theories"?

  • 5
    $\begingroup$ See en.wikipedia.org/wiki/Modulo_%28jargon%29 . Think of a theory as an equivalence relation between formulas given by provable equivalence. $\endgroup$ Commented Nov 29, 2014 at 15:23
  • $\begingroup$ Thanks. If you bother to write an answer and elaborate on "theory as equivalence relation", I can ack it. $\endgroup$
    – Roman Susi
    Commented Nov 29, 2014 at 15:32


Browse other questions tagged or ask your own question.