gridchecker/main.cpp at master · dobrichev/gridchecker · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
#define _CRT_SECURE_NO_DEPRECATE

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

const char *versionString = "GridChecker v1.34 (2021-02-07)";

//#define DIRTY_TEST

#ifdef DIRTY_TEST
extern void test(); //debug
#endif //DIRTY_TEST

int main(int argc, char* argv[])
{

	clock_t start, finish;
	int ret;
	start = clock();
#ifdef DIRTY_TEST
	test();
	ret = 0;
#else
	if(opt.read(argc, argv))
		return 0;
	ret = opt.execCommand();
#endif //DIRTY_TEST
	finish = clock();
	fprintf(stderr, "\nTotal time %2.3f seconds.\n", (double)(finish - start) / CLOCKS_PER_SEC);
	return ret;
}

#ifdef DIRTY_TEST
//#include "solver.h"
//extern void solverXXL(const char* in);
//extern void solverXXL1(const char* in);
//extern void test() {
//	char buf[2000];
//	while(fgets(buf, sizeof(buf), stdin)) {
//		//printf("%81.81s\t", buf);
//		//for(int i = 0; i < 81; i++) {
//		//	buf[i] -= '0';
//		//	if(buf[i] <= 0 || buf[i] > 9) {
//		//		buf[i] = 0;
//		//	}
//		//}
//		solverXXL1(buf);
//		//printf("\n");
//	}
//}

//#include "rowminlex.h"
//#include "ch81.h"
//#include "uset.h"
//extern void test() {
//	char buf[2000];
//	lightweightUsetList res;
//	ch81 inPattern, outPattern;
//	bm128 canBitmap;
//	while(fgets(buf, sizeof(buf), stdin)) {
//		inPattern.patternFromString(buf);
//		subcanon(inPattern.chars, outPattern.chars);
//		canBitmap.clear();
//		for(int i = 0; i < 81; i++) {
//			if(outPattern.chars[i]) {
//				canBitmap.setBit(81 - i);
//			}
//		}
//		res.insert(canBitmap);
//	}
//	//print the sorted unique patterns
//	for(lightweightUsetList::const_iterator p = res.begin(); p != res.end(); p++) {
//		for(int i = 0; i < 81; i++) {
//			outPattern.chars[i] = ((p->isBitSet(81 - i)) ? '1' : '.');
//		}
//		printf("%81.81s\n", outPattern.chars);
//	}
//}

//#include "rowminlex.h"
//#include "ch81.h"
//extern void test() {
//	char buf[2000];
//	ch81 inPattern, outPattern;
//	while(fgets(buf, sizeof(buf), stdin)) {
//		inPattern.patternFromString(buf);
//		subcanon(inPattern.chars, outPattern.chars);
//		outPattern.toString(buf);
//		printf("%81.81s\n", buf);
//	}
//}

#endif //DIRTY_TEST