Lingeling
E1997089
UNEXPLORED
Lingeling is a highly optimized conflict-driven clause learning (CDCL) SAT solver widely used in research and SAT competitions for efficiently solving large Boolean satisfiability problems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Lingeling canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.