/*
 * hex-verify.cpp
 *
 *  Created on: Apr 17, 2014
 *      Author: stolee
 */

#include "Grid.hpp"

using namespace adage::grids;

/**
 * hex-verify.exe [TreeSearch arguments] --rules [file] --density a/b
 *
 * Given the set of rules with values on the variables, verify that the discharging
 * rules prove the given density lower bound for identifying codes on the hexagonal grid.
 *
 * Use exact arithmetic given by the fraction class.
 */
int main(int argc, char** argv)
{
	// TODO: Implement!

}
