+++
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; }
```