# HG changeset patch
# User HackBot
# Date 1493315002 0
# Node ID d2d86dd364011daf924403908c2db9e6165c0d09
# Parent  b97f05e31c5f3c2e82e80bca1b9cb73d01e876f8
<oerjan> ` mv wisdom/\'sat solving technique\'{s,}

diff -r b97f05e31c5f -r d2d86dd36401 wisdom/sat solving technique
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/sat solving technique	Thu Apr 27 17:43:22 2017 +0000
@@ -0,0 +1,1 @@
+There are many SAT solving techniques, but none is completely satisfying.
diff -r b97f05e31c5f -r d2d86dd36401 wisdom/sat solving techniques
--- a/wisdom/sat solving techniques	Thu Apr 27 17:42:42 2017 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-There are many SAT solving techniques, but none is completely satisfying.