⬆️ Bump extern/LogicBlocks from f4d0869 to 85b733f (#307)

Bumps [extern/LogicBlocks](https://github.com/cda-tum/LogicBlocks) from
`f4d0869` to `85b733f`.
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/cda-tum/LogicBlocks/commit/85b733f458cce750ba8ab6866388e7101e6618fe"><code>85b733f</code></a>
⚡ Simplify added Z3 clauses (<a
href="https://redirect.github.com/cda-tum/LogicBlocks/issues/35">#35</a>)</li>
<li><a
href="https://github.com/cda-tum/LogicBlocks/commit/31c0b511c8aabdec4f42b3ea8998f4047f2a2d7e"><code>31c0b51</code></a>
Merge branch 'main' into simplify</li>
<li><a
href="https://github.com/cda-tum/LogicBlocks/commit/f850570ba311c5f8f72092af09a58e15bc76227f"><code>f850570</code></a>
Fix bug in dump internal state. (<a
href="https://redirect.github.com/cda-tum/LogicBlocks/issues/43">#43</a>)</li>
<li><a
href="https://github.com/cda-tum/LogicBlocks/commit/f708a100742cd1875acc4ac8908a8fbd7decb0d0"><code>f708a10</code></a>
Merge branch 'main' into simplify</li>
<li><a
href="https://github.com/cda-tum/LogicBlocks/commit/7d23aac66b3d9491dfa7c223f5129a686a8633de"><code>7d23aac</code></a>
Merge branch 'main' into fix-dump-internal-state</li>
<li><a
href="https://github.com/cda-tum/LogicBlocks/commit/2663c20b44dcf4d835df5b46282f573ae09690c1"><code>2663c20</code></a>
⬆️🪝 update pre-commit hooks (<a
href="https://redirect.github.com/cda-tum/LogicBlocks/issues/42">#42</a>)</li>
<li><a
href="https://github.com/cda-tum/LogicBlocks/commit/9776380bcd6fff0f35d3de953052121f512dcf1f"><code>9776380</code></a>
Merge branch 'main' into fix-dump-internal-state</li>
<li><a
href="https://github.com/cda-tum/LogicBlocks/commit/45bb820965245875a7f7ddc108a0ace7dcaeaf4d"><code>45bb820</code></a>
Bump DoozyX/clang-format-lint-action from 0.14 to 0.16 (<a
href="https://redirect.github.com/cda-tum/LogicBlocks/issues/38">#38</a>)</li>
<li><a
href="https://github.com/cda-tum/LogicBlocks/commit/068678dc59161341d73bda7fb661eb4880f95ce1"><code>068678d</code></a>
Fix bug in dump internal state.</li>
<li><a
href="https://github.com/cda-tum/LogicBlocks/commit/24bdf82bf432b8d142aaca6323df71c0f150473c"><code>24bdf82</code></a>
⬆️🪝 update pre-commit hooks (<a
href="https://redirect.github.com/cda-tum/LogicBlocks/issues/41">#41</a>)</li>
<li>Additional commits viewable in <a
href="https://github.com/cda-tum/LogicBlocks/compare/f4d08697c1497bb60832a014607d070347e350d0...85b733f458cce750ba8ab6866388e7101e6618fe">compare
view</a></li>
</ul>
</details>
<br />


Dependabot will resolve any conflicts with this PR as long as you don't
alter it yourself. You can also trigger a rebase manually by commenting
`@dependabot rebase`.

[//]: # (dependabot-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

You can trigger Dependabot actions by commenting on this PR:
- `@dependabot rebase` will rebase this PR
- `@dependabot recreate` will recreate this PR, overwriting any edits
that have been made to it
- `@dependabot merge` will merge this PR after your CI passes on it
- `@dependabot squash and merge` will squash and merge this PR after
your CI passes on it
- `@dependabot cancel merge` will cancel a previously requested merge
and block automerging
- `@dependabot reopen` will reopen this PR if it is closed
- `@dependabot close` will close this PR and stop Dependabot recreating
it. You can achieve the same result by closing it manually
- `@dependabot ignore this major version` will close this PR and stop
Dependabot creating any more for this major version (unless you reopen
the PR or upgrade to it yourself)
- `@dependabot ignore this minor version` will close this PR and stop
Dependabot creating any more for this minor version (unless you reopen
the PR or upgrade to it yourself)
- `@dependabot ignore this dependency` will close this PR and stop
Dependabot creating any more for this dependency (unless you reopen the
PR or upgrade to it yourself)


</details>

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>