\brief Main-function * \relates MagicSquare */
| 165 | * \relates MagicSquare |
| 166 | */ |
| 167 | int |
| 168 | main(int argc, char* argv[]) { |
| 169 | SizeOptions opt("MagicSquare"); |
| 170 | opt.iterations(1); |
| 171 | opt.size(0); |
| 172 | opt.branching(MagicSquare::BRANCH_SIZE); |
| 173 | opt.branching(MagicSquare::BRANCH_SIZE, "size"); |
| 174 | opt.branching(MagicSquare::BRANCH_AFC_SIZE, "afc-size"); |
| 175 | #ifdef GECODE_HAS_CBS |
| 176 | opt.branching(MagicSquare::BRANCH_CBS_MAX_SD, "maxSD"); |
| 177 | #endif |
| 178 | opt.parse(argc,argv); |
| 179 | Script::run<MagicSquare,DFS,SizeOptions>(opt); |
| 180 | return 0; |
| 181 | } |
| 182 | |
| 183 | namespace { |
| 184 |
nothing calls this directly
no test coverage detected