Improve rule description
[sat-britney.git] / problems /
drwxr-xr-x   ..
-rw-r--r-- 1006399 relaxation-2011-08-04.wcnf