MCNFMCNF is part of an honor's research project for a Data Structures I course.

The members involved in the project include:

Will Carroll Tor Bittmann Ameen Kazerouni

The project contains a data structure written in C++ to store a collection of CNF expressions. The CNFs are generated by a parsing class that take, as input, a text file in standard DIMACS format. Once the CNFs are read in, a number of operations can be performed on them to evaluate the expression.