We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
A minimalist CDCL solver in python
$ ./solve.py cnf_example/unif-c1225-v350-s655749504.cnf