3 lines
131 B
Plaintext
3 lines
131 B
Plaintext
The goal of CaDiCaL is to provide a clean and efficient state-of-the-art CDCL
|
|
solver, which is also easy to understand and change.
|