options.c
4.46 KB
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
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
#include "fdc_int.h"
#ifdef SPLITGO_MPI
#include <mpi.h>
#endif
#define _str_(s) #s
#define _xstr_(s) _str_(s)
static char *_fd_version =
"@(#) $Version: " VERSION ", " __DATE__ " " __TIME__ " $";
static char *_fd_options = "@(#) $Options: "
#ifdef COUNT_SOLUTIONS
#warning "COUNT_SOLUTIONS deprecated (4FEB10), use --count-solutions"
#endif
#ifdef SEARCH
#warning "SEARCH removed (on 23DEC13)"
#endif
#ifdef BACK_JUMPING
#warning "BACK_JUMPING removed (on 23JUL14)"
#endif
#ifdef FORWARD_CHECKING
#warning "FORWARD_CHECKING removed (on 23DEC13)"
#endif
#ifdef REVISION_IS_VAR
"REVISION_IS_VAR" " "
#endif
#ifdef REVISIONS_LIST
#warning "REVISIONS_LIST deprecated"
"REVISIONS_LIST" " "
#endif
#ifdef ORDER_REVISIONS
"ORDER_REVISIONS" " "
#endif
#ifdef REVISION_TWO_VARS
#warning "REVISION_TWO_VARS deprecated"
"REVISION_TWO_VARS" " "
#endif
#ifdef COUNT_REVISIONS
"COUNT_REVISIONS" " "
#endif
#ifdef USE_ENTAILED
#warning "USE_ENTAILED deprecated, subsumed by CONSTRAINT_TEMPS (13APR11)"
#endif
#ifdef FILTER_DOMAINS
"FILTER_DOMAINS=" _xstr_(FILTER_DOMAINS) " "
#endif
#ifdef COMPACT_DOMAINS
"COMPACT_DOMAINS" " "
#endif
#ifdef INLINE_DOMAINS
"INLINE_DOMAINS" " "
#endif
#ifdef DOMAIN_BITS
"DOMAIN_BITS=" _xstr_(DOMAIN_BITS) " "
#endif
#ifdef UNIT_BITS
"UNIT_BITS=" _xstr_(UNIT_BITS) " "
#endif
#ifdef DOMAIN_BOUNDS
"DOMAIN_BOUNDS" " "
#endif
#ifdef USE_VALUE
"USE_VALUE" " "
#endif
#ifdef VAL_MAX
#warning "VAL_MAX deprecated (3FEB10), use --val-max"
#endif
#ifdef FIRST_FAIL
#warning "FIRST_FAIL deprecated (3FEB10), use --first-fail"
#endif
#ifdef MOST_CONSTRAINED
#warning "MOST_CONSTRAINED deprecated (3FEB10), use --most-constrained"
#endif
#ifdef SIZE_DEGREE
#warning "SIZE_DEGREE deprecated (3FEB10), use --size-degree"
#endif
#ifdef LOCAL_SEARCH
#warning "LOCAL_SEARCH removed (on 17DEC13)"
#endif
#ifdef DISTRIBUTED_SOLVER
"DISTRIBUTED_SOLVER" " "
#endif
#if defined(ABT) || defined(ABT2)
#warning "ABT{,2} removed (on 20DEC13)"
#endif
#ifdef PIPE
#warning "PIPE removed (on 20DEC13)"
#endif
#ifdef DSEARCH
#warning "DSEARCH removed (on 23DEC13)"
#endif
#ifdef SPLITGO
"SPLITGO" " "
#endif
#ifdef SPLITGO_MPI
"SPLITGO_MPI" " "
#endif
#ifdef SPLIT_EVENLY
#warning "SPLIT_EVENLY deprecated (1FEB10), use --{,team-}split-{even,eager}"
#endif
#ifdef USE_SEM
#warning "USE_SEM deprecated (1JUN09)"
"USE_SEM" " "
#endif
#ifdef STEAL_WORK
"STEAL_WORK=" _xstr_(STEAL_WORK) " "
#endif
#ifdef CONSTRAINT_CLASS
"CONSTRAINT_CLASS" " "
#endif
#ifdef CONSTRAINT_TEMPS
"CONSTRAINT_TEMPS" " "
#endif
#ifdef DISABLE_ENTAILED
"DISABLE_ENTAILED" " "
#endif
#ifdef USE_MATCHING
"USE_MATCHING" " "
#endif
#ifdef USE_STORE
"USE_STORE" " "
#endif
#ifdef PACK_PROBLEM
"PACK_PROBLEM" " "
#endif
#ifdef USE_MMAP
"USE_MMAP" " "
#endif
#ifdef GROWABLE_POOL
"GROWABLE_POOL" " "
#endif
#ifdef INDEX_IN_POOL
"INDEX_IN_POOL" " "
#endif
#ifdef STORE_IN_POOL
"STORE_IN_POOL" " "
#endif
#ifdef NEW_ENTRANCE
"NEW_ENTRANCE" " "
#endif
#ifdef CHECK_MOST_WORK
#warning "CHECK_MOST_WORK committed (21DEC10)"
#endif
#ifdef PREFER_NEXT
"PREFER_NEXT" " "
#endif
#ifdef DECREMENT_EARLY
"DECREMENT_EARLY" " "
#endif
#ifdef FIRST_CANDIDATE
"FIRST_CANDIDATE" " "
#endif
#ifdef JOIN_POOL_INDEXES
#warning "JOIN_POOL_INDEXES committed (21DEC10)"
#endif
#ifdef RANDOM_VICTIM
"RANDOM_VICTIM" " "
#endif
#ifdef TRY_HARDER
#warning "TRY_HARDER committed (7MAY10)"
#endif
#ifdef ASK_EARLY
"ASK_EARLY" " "
#endif
#ifdef ROUND_ROBIN_POLL
"ROUND_ROBIN_POLL" " "
#endif
#ifdef ASSIGNED_AFTER // when sorting, move assigned variables to the end
"ASSIGNED_AFTER" " "
#endif
#ifdef STATS_POOL
"STATS_POOL" " "
#endif
#ifdef STATS_PROCS
"STATS_PROCS" " "
#endif
#ifdef STATS_STEALS
"STATS_STEALS" " "
#endif
#ifdef C_VAR_INT
#warning "C_VAR_INT deprecated"
"C_VAR_INT" " "
#endif
#ifdef VAR_C_INT
#warning "VAR_C_INT deprecated"
"VAR_C_INT" " "
#endif
#ifdef NDEBUG
"NDEBUG" " "
#endif
#ifdef OPEN_MPI
"OMPI=" _xstr_(OMPI_MAJOR_VERSION) "."
_xstr_(OMPI_MINOR_VERSION) "."
_xstr_(OMPI_RELEASE_VERSION) " "
#endif
#ifdef __GNUC__
"GCC=" _xstr_(__GNUC__) "."
_xstr_(__GNUC_MINOR__) "."
_xstr_(__GNUC_PATCHLEVEL__) " "
#endif
"(" __FILE__ ") "
"$";
/* keep _fd_version and _fd_options from being optimised away */
char *fd_version() { return _fd_version; }
char *fd_options() { return _fd_options; }