Code Conventions

Use doxygen tags only in the pages, not in the source code. There keep just standard comments.

Generated on Mon Dec 15 17:56:24 2014 for satsolver by

1.5.6