From 7bbedef94189dc9ab094619ee00bc9aaf0fd110a Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 21 Oct 2021 14:03:32 +0100
Subject: Add work towards decidability of SAT solver

---
 docs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs')

diff --git a/docs b/docs
index 20ed00b..36abd86 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 20ed00b92c1a5bf2806a27e9c85d90c6d265e5b2
+Subproject commit 36abd86820f7521fcebb3b173acbcb6409b148b8
-- 
cgit