Series

An SMT solver from scratch

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? ...
Apr 6, 20256 min read96
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 ...
Apr 13, 20259 min read98