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

CC BY-SA 3.0
2014-11-29T15:23:56.410Z
See https://en.wikipedia.org/wiki/Modulo_%28jargon%29 . Think of a theory as an equivalence relation between formulas given by provable equivalence.
Emil Jeřábek
CC BY-SA 3.0
2014-11-29T15:32:56.010Z
Thanks. If you bother to write an answer and elaborate on "theory as equivalence relation", I can ack it.
Roman Susi
<terminology>
What does "modulo" mean in SMT?
Roman Susi
# What does "modulo" mean in SMT?

(Asked by: username_0 on 2014-11-29)

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

**Tags:** terminology

> **Comments:**
> **username_1**: See https://en.wikipedia.org/wiki/Modulo_%28jargon%29 . Think of a theory as an equivalence relation between formulas given by provable equivalence.  
> **username_0**: Thanks. If you bother to write an answer and elaborate on "theory as equivalence relation", I can ack it.  

---

## 0 answers

