\brief Main-function * \relates Golf */
| 223 | * \relates Golf |
| 224 | */ |
| 225 | int |
| 226 | main(int argc, char* argv[]) { |
| 227 | GolfOptions opt; |
| 228 | opt.model(Golf::MODEL_PLAIN); |
| 229 | opt.model(Golf::MODEL_PLAIN, "none", "no symmetry breaking"); |
| 230 | opt.model(Golf::MODEL_SYMMETRY, "symmetry", "static symmetry breaking"); |
| 231 | opt.propagation(Golf::PROP_SET); |
| 232 | opt.propagation(Golf::PROP_SET, "set", "Use set intersection cardinality for pair play constraints"); |
| 233 | opt.propagation(Golf::PROP_INT, "int", "Use integer distinct for pair play constraints"); |
| 234 | opt.propagation(Golf::PROP_MIXED, "mixed", "Use set intersection cardinality and integer distinct for pair play constraints"); |
| 235 | opt.ipl(IPL_DOM); |
| 236 | opt.solutions(1); |
| 237 | opt.parse(argc,argv); |
| 238 | Script::run<Golf,DFS,GolfOptions>(opt); |
| 239 | return 0; |
| 240 | } |
| 241 | |
| 242 | // STATISTICS: example-any |
nothing calls this directly
no test coverage detected