An SMT solver from scratch - Part 2: SMT Theories and Logics

I have covered the basics of a SAT solver and their working mechanism in detail in the first part, in this part I'll try to delve deep-inside SMT theory and how they function being built on-top of a SAT solver. Table of Contents Basic Terminologies ...