Add ex2.cnf data file   - Add ex2.cnf file into data directory. Contains an example of an unsatisfiable SAT problem.
Add ex2.cnf data file
  - Add ex2.cnf file into data directory. Contains an example of an unsatisfiable SAT problem.

VictorLoren/python-sat-solver