# Third-Party Notices

## CryptoMiniSat

This macOS ARM64 solver client bundles:

```text
bin/cryptominisat5
```

Bundled binary SHA256:

```text
C3EE32145EF4FA56D8B815BF7276389C61CED4E8D6040F811C364F0123E2C715
```

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.
