# Third-Party Notices

## CryptoMiniSat

This Windows solver client bundles:

```text
bin/cryptominisat5.exe
```

Bundled binary SHA256:

```text
01087141D15912886CA45F23245272C0E90070AAA2711F7FB055EAE689759B81
```

CryptoMiniSat license text is included at:

```text
licenses/CryptoMiniSat-LICENSE.txt
```

CryptoMiniSat authors file is included at:

```text
licenses/CryptoMiniSat-AUTHORS.txt
```

The copied license states that the components needed to run/build/install/link CryptoMiniSat are MIT licensed, and that builds compiled with Bliss may be affected by Bliss's GPL license. For production redistribution, keep this notice and license text with the package, and verify the provenance/build options of any replacement `cryptominisat5.exe`.

Note: the `cryptominisat5.exe` currently bundled here is the same standalone Windows binary already smoke-tested in the verifier client. The newer `SAT_Solver/cryptominisat/.../windows-x86_64/cryptominisat5.exe` copy returned a Windows loader error on this machine when run by itself, so it was not used as the active bundled runtime.

This file is an engineering compliance note, not legal advice.
