# Third-Party Notices

## CryptoMiniSat

This macOS x86_64 solver client bundles:

```text
bin/cryptominisat5
```

Bundled binary SHA256:

```text
548B894DF0A9FFE5715058005A2314779A12B47B405A8B2D87A3394454885A65
```

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` binary.

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