\brief Main-function * \relates GolombRuler */
| 126 | * \relates GolombRuler |
| 127 | */ |
| 128 | int |
| 129 | main(int argc, char* argv[]) { |
| 130 | SizeOptions opt("GolombRuler"); |
| 131 | opt.solutions(0); |
| 132 | opt.size(10); |
| 133 | opt.ipl(IPL_BND); |
| 134 | opt.parse(argc,argv); |
| 135 | if (opt.size() > 0) |
| 136 | IntMinimizeScript::run<GolombRuler,BAB,SizeOptions>(opt); |
| 137 | return 0; |
| 138 | } |
| 139 | |
| 140 | // STATISTICS: example-any |
| 141 |