#include "../includes/globals.h"

int main(int argc, char** argv){
	if(argc < 3){
		printf("Need filename as input\n");
		exit(1);
	}
	readInputFile(argv[1]);
	if(strcmp(argv[2],"DPLL")==0){
		//runDPLL();
	}
	else{
		//WalkSat();
	}
	//algo goes here..
	//printResults();
}