/vendor/varisat/tests/cnfs/

• ../
• sgen1_sat_90_0.cnf
• sgen1_unsat_57_0.cnf