next up previous contents
Next: File Header Up: CNF format Previous: CNF format   Contents

Comments

A comment begins with the special character 'c'.


Sean Weaver 2007-01-08