An SMT solver from scratch - Part 1: Theory

Apr 6, 2025 · 6 min read · 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? ...