cnf/sat/*.cnf filter=lfs diff=lfs merge=lfs -text
cnf/unsat/*.cnf filter=lfs diff=lfs merge=lfs -text
cnf/benchmark/*/*.cnf filter=lfs diff=lfs merge=lfs -text
