CryptoMiniSat
E2000140
UNEXPLORED
CryptoMiniSat is an advanced conflict-driven clause learning (CDCL) SAT solver particularly known for its support of cryptographic problem instances and XOR reasoning.
All labels observed (1)
| Label | Occurrences |
|---|---|
| CryptoMiniSat canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.