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
...
