swMATH577MaRDI QIDQ13332
No author found.
Source code repository: https://github.com/niklasso/minisat/
Described by source