import java.util.*;

/** This is just a template of the <tt>MyGenerator</tt> class that
 * must be turned in.
 */
public class MyGenerator implements Generator {

    /** Must have a constructor taking no arguments.  (You may have
     * other constructors that you use for your experiments, but this
     * is the constructor that will be used as part of the class
     * implementation challenge.)
     */
    public MyGenerator() {
	// fill in initialization code here
    }

    /** This is the method that generates CNF formulas each time it is
     * called.
     */
    public Literal[][] getNext() {
	// fill in generation code here
    }

}
