An SMT solver from scratch - Part 1: Theory
SAT, CDCL and Theories
In the first post of the series, I'll discuss the main idea of an SMT solver and the theories involved to understand the algorithm behind the SMT solver such as Z3.
Table of Contents
Basic Terminologies
What is a SAT Solver?
...
