/**
 * Header for main.c
 *
 * Author: Ramkumar Natarajan (nrk@cs.purdue.edu).
 **/

#ifndef MAIN_H__
#define MAIN_H__

#include <stdio.h>
#include <time.h>
#include "solver.h"

#endif