# Third-Party Notices

## CryptoMiniSat

This Linux AMD64 solver client bundles:

```text
bin/cryptominisat5
```

Bundled binary SHA256:

```text
E139CB70942031F111B710C93EADEE03479E942322DA47DB7C2B4F476D303B89
```

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.
