SAT Algorithm Implementation

Introduction

• What’s the SAT about
• What to expect from this post

General Idea

Implementation