1 files changed, 40 insertions, 0 deletions
diff --git a/content/zettel/2e1c4.md b/content/zettel/2e1c4.md
new file mode 100644
index 0000000..a8a3f31
--- /dev/null
+++ b/content/zettel/2e1c4.md
@@ -0,0 +1,40 @@
++++
+title = "Application-specific SAT solver"
+author = "Yann Herklotz"
+tags = []
+categories = []
+backlinks = ["2e1c3"]
+forwardlinks = ["2e1c5", "2e1c4a"]
+zettelid = "2e1c4"
++++
+
+Another solution might be to go down one of the branches, and basically
+implement a slow and application-specific SAT solver.
+
+``` c
+else if (Q) { x = 2; }
+else if (R) { x = 3; }
+else { x = 4; }
+```
+
+``` c
+P == false;
+if (Q) { x = 2; }
+else if (P) { x = 1; }
+else if (R) { x = 3; }
+else { x = 4; }
+```
+
+and:
+
+``` c
+x = 1
+```
+
+``` c
+P == true;
+if (Q) { x = 2; }
+else if (P) { x = 1; }
+else if (R) { x = 3; }
+else { x = 4; }
+```