Directories:

src: source files
bin: compiled files
tests: a variety of directories of test files 

To run, use:

java enumerateWeightedSetCovers.Tester <directory-of-test-files> <num-results> <non-redundant?> <output-file-name>

where:

* directory-of-test-files should be a directory containing test files, e.g., one of the subdirectories of tests. Note that different inputs have different formats, and therefore the file name determines the type of problem constructor used

* num-results is the number of results to enumerateWeightedSetCovers

* non-redundant is a Boolean indicating whether only non-redundant results should be returned

* output-file-name is the name of the file into which the statistics are written. Note that currently the weighted sets are not written to output, but you can print them to screen by uncommenting the line

//System.out.println(newSolution);

in the file EnumerateSetCovers, and then recompiling.