\brief Main-function * \relates BlackHole */
| 292 | * \relates BlackHole |
| 293 | */ |
| 294 | int |
| 295 | main(int argc, char* argv[]) { |
| 296 | SizeOptions opt("Black Hole patience"); |
| 297 | opt.symmetry(BlackHole::SYMMETRY_CONDITIONAL); |
| 298 | opt.symmetry(BlackHole::SYMMETRY_NONE,"none", |
| 299 | "no symmetry breaking"); |
| 300 | opt.symmetry(BlackHole::SYMMETRY_CONDITIONAL,"conditional", |
| 301 | "break conditional symmetries"); |
| 302 | opt.propagation(BlackHole::PROPAGATION_TUPLE_SET); |
| 303 | opt.propagation(BlackHole::PROPAGATION_REIFIED, |
| 304 | "reified", "use reified propagation"); |
| 305 | opt.propagation(BlackHole::PROPAGATION_DFA, |
| 306 | "dfa", "use DFA-based extensional propagation"); |
| 307 | opt.propagation(BlackHole::PROPAGATION_TUPLE_SET, |
| 308 | "tuple-set", "use TupleSet-based extensional propagation"); |
| 309 | opt.ipl(IPL_DOM); |
| 310 | opt.parse(argc,argv); |
| 311 | // Generates the new board |
| 312 | generate(opt.size()); |
| 313 | Script::run<BlackHole,DFS,SizeOptions>(opt); |
| 314 | return 0; |
| 315 | } |
| 316 | |
| 317 | // STATISTICS: example-any |