Definition Theory of Linear Integer Arithmetic (Satisfiability Modulo Theory) Define your knowledge here…