CLearn
| Submitter: | Rowley | ||
| Description: | Devised by Andrew G. D. Rowley, is a search-based solver written in C++, featuring lazy data structures and conflict learning; the heuristic is a simple ed efficient lexicographic ordering based on prefix level (outermost to innermost) and variable identifier (smallest first). | ||
| Results: | |||