# SAT solver

> SAT을 풀어주는 알고리즘.

[SAT](https://wiki.g15e.com/pages/Boolean%20satisfiability%20problem.txt)을 풀어주는 <알고리즘>.