README.txt

http://www.rascal-mpl.org/:
 ↳  http://github.com/cwi-swat/rascal
   ↳  http://github.com/cwi-swat/rascal/tree/master/src/org/rascalmpl/library/lang
     ↳  dimacs/syntax/Dimacs.rsc

CNF from the Rascal language workbench standard library.

Author: Jurgen Vinju

Conjunctive Normal Form: http://people.sc.fsu.edu/~jburkardt/data/cnf/cnf.html

Grammar extracted and added to the Grammar Zoo on 22 Jun 2013 by Vadim Zaytsev.