01: /***************************************************************************
02:                           main.cpp  -  description
03:                              -------------------
04:     begin                : Fri Mar 28 20:22:31 CET 2003
05:     copyright            : (C) 2003 by Dominik Raddatz
06:     email                : dom@wtal.de
07:  ***************************************************************************/
08: 
09: #include <time.h>
10: #include <stdio.h>
11: 
12: #include "solve.h"
13: #include "prepare.h"
14: 
15: int main(int argc, char *argv[])
16: {
17:   time_t start, middle, end;
18:   time(&start);
19:   prepare();
20:   time(&middle);
21:   printf("Number of Solutions: %d\n", solve());
22:   time(&end);
23:   printf("Preparation time: %ld, Solving time: %ld\n", middle-start, end-middle);
24:   return 0;
25: }