tools/001_derive_h48/derive_h48.c


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

/*
This tool is specific to the H48 solver. It can be used to derive small
intermediate tables from larger tables, including the full h11 table.

When using k=2, the base values for the tables may differ. If you want
to change this value, for example for generating a table with base = 9
from the h11 table with base = 10, you must re-generate the large table
with the correct base value. The easiest way to do so is to manually
edit the base value in the source code and recompile.
*/

#include "../tool.h"

char *solver_large, *solver_small, *filename_large, *filename_small;

void run(void) {
	derivedata_run(solver_large, solver_small, filename_large, filename_small);
}

int main(int argc, char **argv) {
	if (argc < 5) {
		printf("Error: not enough arguments. Required:\n"
		    "1. Solver name for large table\n"
		    "2. Solver name for derived table\n"
		    "3. Filename containing large table\n"
		    "4. Filename for saving derived table\n");
		return 1;
	}

	solver_large = argv[1];
	solver_small = argv[2];
	filename_large = argv[3];
	filename_small = argv[4];

	nissy_setlogger(log_stdout, NULL);

	timerun(run);

	return 0;
}