# HG changeset patch
# User HackBot
# Date 1493315425 0
# Node ID 7cb7b31f289691c8a8b310eb8c2c0092db097310
# Parent  c62a74918324fcb8273f03080f87341c7a56ae6a
<oerjan> slwd sat solving technique//s, is, are,

diff -r c62a74918324 -r 7cb7b31f2896 wisdom/sat solving technique
--- a/wisdom/sat solving technique	Thu Apr 27 17:48:22 2017 +0000
+++ b/wisdom/sat solving technique	Thu Apr 27 17:50:25 2017 +0000
@@ -1,1 +1,1 @@
-There are many SAT solving techniques, but none is completely satisfactory.
+There are many SAT solving techniques, but none are completely satisfactory.