·
7 commits
to master
since this release
The statically linked STP that produced campaign full-001. Attached rather than committed, so the repository history stays small enough to clone.
| sha256 | b5198265f8ef1f9373404fc43df45113d991074bf6309cd25f62a553f2098ee8 |
| STP commit | cf06c295d99db602a89c08d1e13c574a2f1b0f11 |
| compiler | gcc 12.3.0 |
| SAT backend | CaDiCaL 3.0.1 (c6073042) |
| real literals | LibBF 50a0eb26 |
| size | 24,443,432 bytes |
Full provenance, including the sha256 of each library it was linked against, is in binaries/b5198265….json.
Verify what you downloaded before trusting a measurement made with it:
sha256sum stp-b5198265f8ef
This binary is a static STP, so it embeds the third-party code STP is built from; see the repository README for what that means for redistribution.