From c46281aeddb3f252c5977f6f148b6ab0ef116e40 Mon Sep 17 00:00:00 2001
From: Kray-G <nagai.kazuya@gmail.com>
Date: Fri, 13 Aug 2021 10:36:34 +0900
Subject: [PATCH] fixed #275 added a test case of SAT solver.

---
 docs/spec/algorithm/README.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/spec/algorithm/README.md b/docs/spec/algorithm/README.md
index 810bbd6a4..137ef2c71 100644
--- a/docs/spec/algorithm/README.md
+++ b/docs/spec/algorithm/README.md
@@ -23,3 +23,7 @@ This will help your understanding.
 ## Fractals
 
 *   [Mandelbrot Set](mandelbrot.md)
+
+## Others
+
+*   [SAT Solver](satsolver.md)