I am a beginner in the field of Formal Methods in Computer Science.
In the literature, I often encounter phrases, such as "... modulo equation theory".
Example are:
SMT solver -- "Satisfiability Modulo Theory"
Tamarin Verifier -- Many papers including this one states -- "Proofs are constructed using backward search with support for reasoning modulo equational theories."
What does the term "Modulo" mean in the above context?
The only meaning of modulo that I know of is in the context of integer division and the remainder.