RGG/ubcsat-time.h at master · albertjiang/RGG · 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
/*

      ##  ##  #####    #####   $$$$$   $$$$   $$$$$$
      ##  ##  ##  ##  ##      $$      $$  $$    $$
      ##  ##  #####   ##       $$$$   $$$$$$    $$
      ##  ##  ##  ##  ##          $$  $$  $$    $$
       ####   #####    #####  $$$$$   $$  $$    $$
  ======================================================
  SLS SAT Solver from The University of British Columbia
  ======================================================
  ...Developed by Dave Tompkins (davet [@] cs.ubc.ca)...
  ------------------------------------------------------
  .......consult legal.txt for legal information........
  ......consult revisions.txt for revision history......
  ------------------------------------------------------
  ... project website: http://www.satlib.org/ubcsat ....
  ------------------------------------------------------
  .....e-mail ubcsat-help [@] cs.ubc.ca for support.....
  ------------------------------------------------------

*/

#ifdef WIN32
#include <sys/timeb.h>
#else
#include <unistd.h>
#include <sys/time.h>
#include <sys/times.h>
#endif

/*void InitSeed(); */

void StartClock();
void StopClock();
double TimeElapsed();

extern double fTotalTime;