Create dimacs_parser.py

parser for dimacs file, produced by "ToughSAT Generator" (http://toughsat.appspot.com/)