Initial version of dimacs CNF parser
Initial version of dimacs CNF parser

karissa/pyeda,GtTmy/pyeda,sschnug/pyeda,pombredanne/pyeda,sschnug/pyeda,pombredanne/pyeda,cjdrake/pyeda,GtTmy/pyeda,GtTmy/pyeda,cjdrake/pyeda,sschnug/pyeda,pombredanne/pyeda,karissa/pyeda,cjdrake/pyeda,karissa/pyeda