1 2 3
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