# Third-Party Notices

## CryptoMiniSat

This Linux ARM64 solver client bundles:

```text
bin/cryptominisat5
```

Bundled binary SHA256:

```text
C76E1153B3FAACCD18A7D6CDCF7E06658DC9E9974822C571CD14B3BF4350743C
```

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.
