54 const char* examples[] = {
261 "...G...9..4.....6F..L8..." 262 "CEIN.HDM.OF.1L..A..9PJ.4." 263 ".....A...L..JBN.2.D.1...H" 264 "P49...JB23.AD..7E..C5F..." 265 "A1H....F.N5....I.BL...26." 266 "....7..C.6...H4B..1....I5" 267 ".F.P...I..B..7.5.L...9..." 268 ".L6A...5OF.8P...K.NE..734" 269 "B2.E..L...1J.5....O7.K.AP" 270 "O.5.CB1.P....3EM....2L.H." 271 "2..MJ.A...9.3.7......P.8C" 272 ".....CF.DPG62N.E...OH.M.J" 273 ".DL..OM..IE.B8..NH...3..K" 274 ".CO1F.B.N.AH..P.78.JE...D" 275 "E..6.....H......4M.KIB9.." 276 "N.J..6......C..1.5.G..H.." 277 "...75LG...6..1..CI..4.E.." 278 "9K..6.....HGN.O2P.4......" 279 ".OA..IP849...2.K3...7GN.." 280 "..G....N...P.D9....A...C1" 281 "J...M.NAFE.4..23.7....8L." 282 ".....J.H9CD1LP..GO....4ME" 283 "48NK..5.M......JL.......9" 284 ".I.OG....835.A.DH..P....." 285 "35......L.J..E....8IG.67B" 288 ".N..JG..O7591...8I....L.." 289 "FG.M.B8...P.E...CJ..H...." 290 "...........G.4.H.D.O.NJA2" 291 ".....J.EN4.L6MA.B.2......" 292 "HE..2..DC.....F4KMA.B.9O8" 293 "M....62...47C19......E5.." 294 ".I2.8M.JGL...ADN..K..3.F7" 295 "..H3.5..89....I.J.....NL." 296 "1B..9.FAP.6.N....537.H..O" 297 "......1..N...O...LC.68.PG" 298 "KOA.FNBH.....7.C.....M..6" 299 "45.ECP.I..N.F.J1...MK.79." 300 "I.L..8.O..9.P...A...2.1J." 301 "..621.D.M.....B8LG..P..CH" 302 ".HP.N7E.L1....3..B..O.G45" 303 "....BIO....5.C.P...FN48E." 304 "...FL.....2.DH..17..59O.." 305 "..I.MF..2G.N...A6O.HC.PB." 306 "72.1..L...IM.96E.45G....." 307 "..9...7M..A.O...I...L...." 308 ".C.JA.........1.....E.48." 309 "O.BI.......PHL.6..1....5C" 310 "G6M...N4FI8...K..H.E....." 311 ".L..4.917....BE.G8F.M.I.." 312 "8F......5.O3..4...9.....K" 315 "5.PC..7..J..I...3..H.M.2L" 316 "H.......F..DA..N.G...9..P" 317 "...3LCP2.54.71.B....J.8.." 318 "76M8...3A...H..C.D.FO...." 319 "...DK..GI..B.L.6.8.14...." 320 "A......M....D.6.N.P....O2" 321 "...E5BLF..92..3AJC..6I..." 322 ".PNJ.6..E7A.8..IM.OL1.G.C" 323 ".L3...O.N.5.KI.46.....9E." 324 ".I.G.A..28.MBP...E..HJ3.7" 325 "J.74.L..D1O96.A3.M...GI.." 326 "E...1...K....J...P6.7.C.9" 327 "8M..A9JO.F.P..1...4.E3N6." 328 "...I.3.7.......EL.CD..H.." 329 "....DE2..P...N.........K." 330 ".O.7.FKI1..GJ.N.....9.P8." 331 ".89..H..BNM73D.KFJ..I.6.A" 332 "PDBN...9M..C.....O.6..7.." 333 ".F.K...4..LA9B..C.E75..GN" 334 "G.A.....7.8.....H....O.3." 335 "B...C...4......8K.3.P...." 336 "DHE5..FA...J.3..B.2.KC.98" 337 "...F...5....N..J9......I." 338 ".J...P..O.BK....I.M.3..5." 339 "9...8.B.6.D.M.I..H.5G.J4." 342 "..6F.....5..3.....H..A.M2" 343 ".....3....I8.A.MC.KJ.LNG." 344 ".I.7N..K.2..6...3D..B.O85" 345 ".3A.PF.D8OBK7.2....L6.9H4" 346 ".K..CBML.....O.A8.G4.D..." 347 "1.4.AGL..M5..F.O.9....P2." 348 "..I.........8......N4E..." 349 "J.C8.1.6.3.LO.K7AG2P9.H.." 350 ".2.3BH..9.A...G......O..L" 351 ".H..M8.J.....NI1.LEF....B" 352 "I5..4.....G.27..K..3.M..H" 353 "P..E..I.A..3B.8....G.2..." 354 "AJ......NFK.I.O9476..G.1." 355 ".976...E3H....M5.F......O" 356 ".F.M3.5.GKC4.HJ.N.....ID7" 357 "..L1K..9.J37.ID..B..E6..." 358 ".82OH.1..PNML...E..C...J." 359 "....JLFN.B..G..6M..H..D.9" 360 "...C.A...I.6.......K.5..." 361 "E.G.I.....O....J.8F......" 362 "..M4..9.D.7.K.FE.3O......" 363 "H.N.....14E..B3L..8I...AG" 364 "K.O.62.PM...N..H...18C.9." 365 "LC..8.3...2...H.G...J..4E" 366 ".B..9NK.E....C6.P.4D.71OI" 369 "A..F.N......M28DC.LI7..OJ" 370 "..B...D.M.6....9.....2A.." 371 ".2..I.56.B...J.MEH......." 372 "O7...HE...BA..G2........L" 373 ".H6J.2...G.7NDP.A...8..C." 374 ".PN35..B..869.2.GA..K.C.." 375 "....EM13OD.N...49K...7..." 376 "9G..C....IJF5.B..7.3....." 377 "HD.....JN....7...EF....9." 378 "1.OA..G.KL....H..B.CP...." 379 "..CE.......2..9I....3...." 380 "FJ..83P.E..K7.NL15H..I2.." 381 ".4..GJ...6DIB...P...AHL.C" 382 ".1I.2.M....83.F..4.NBE..." 383 "L3M.OD.H.AG..4.....69...F" 384 ".8...5H.3.....M...D..K..4" 385 "3..4..AEDO7J...5..9..G1.." 386 "..2N9.8F.P.OIGC.L6..E.H.." 387 "C...1.7..K.L6.4EO.8.5...N" 388 ".IG.H..M..E...1A2N4..8.F." 389 "6..5J..N1...2..H.IGA...P8" 390 ".L...O...H...C....M5G..A." 391 "..F...3C.7.P..5N..B..DMH9" 392 "291D..6..M..H.7.3.J.N..B." 393 "....MK..29F.G.DO4...6.E35" 396 "....B12O3..D..F..KPL.E4.7" 397 "1M..GL..H..K.A.....39.P.." 398 ".8.3.4.....7..6.F.....CK." 399 "P.O...758.2..MC.....1L.A." 400 "...HFK6.A..8...9B...2...J" 401 "91.KJE..L.5O..GD.....4..." 402 ".I..3..D.2.....C4MLAK..N." 403 ".4..6IA.P7.....B9......3." 404 "M.F...4.J...8....N.H.1G7." 405 "..5P.N.....C.731.I.E.9A.." 406 ".....GO.KDL......BA......" 407 ".3A..F...9..K.EI5.7..6.DN" 408 ".G.54.L.....PH..3F6....2." 409 "....P.....G..2D.OH.1B...C" 410 "6.EM.7N....3.B4..DC..K1P." 411 "B.9.....I..5N...7OGK...46" 412 "OF.GD6HP..JM..BA8.I.C...." 413 "8.L7...........P.3M5...92" 414 ".EM.....45IF7....2.CJ8DL." 415 ".6.4.8..NA.2......9....GI" 416 "2..A1DCN..3G.F5.L..I..O6H" 417 "..BIO..1.H.L...G........." 418 "C.P.....M8.9O..5A..N.JK.D" 419 "H...N...FOA4..73....5..CM" 420 ".D4..3...6BE..N.2JH8..L.." 423 "LJ.FH2...K....359.E.B6.N." 424 "...EML1FC.PJ.A.8I....2.K4" 425 "9........G1..6..K...PAL3C" 426 "P...C34..8.N7.........DE." 427 "...7....E..IO...124.J5.F." 428 ".8.L.PA.2..31FG....N..C.I" 429 "F.G......M........2.K..1." 430 "....2KH6.JOD..9.L..G...B." 431 ".6O3..G...4.NJ.H.PB...5.9" 432 "I...K..LBN...E.76.A....8." 433 "D.B.L......8.3.C.KM.6...." 434 ".C593.I.N4.26MB..1..L.K.." 435 "M.F6......DA45.9..N.I3..B" 436 ".G..79.H...KJ...4...AN.2." 437 ".KH...BC....LON..7..D.8.F" 438 "2..B...MP....7OEJ4....6.1" 439 ".4....2O.9......N..1....G" 440 ".....G.JF.2..L.6.5......." 441 "C9A.G...H1...PJ..L.3.8.MN" 442 "...1......M.....O.P8.K3J." 443 "...N.HP.K25G3..JC8..1M..." 444 "..2K.FC34.A....N7..9.LB.." 445 "..65DJ..L..C.4.1...BGF..." 446 "OF..E..7.B.......634...D." 447 "G.3..N.I9D7PM8KF2....4..." 450 ".1..I8.P..6.N...BD...3O.." 451 ".9.6...E.M43.8..AK.2J.1.." 452 "...JKL...FA...P.I4...DB.." 453 "E...P.I.B.7.1..J.HC...98." 454 "..5M8GJ.KD.O...N3..1AI..." 455 "K.2C4.M.N..J..I.......H.5" 456 "N..B9O.D...KH6.E...C...7I" 457 "DE..JK4.....L.1B7..68PN2." 458 ".....P...C..F.7...L.O9..." 459 "...35.H......92..M.4.EC.1" 460 "P..IL..H.........1..3.D.." 461 "....B9..8.3I5.C...K...F1." 462 "FH....2O..D.4M.P...A...GC" 463 "JA.......KF.......4.EOMIP" 464 "3.7GNF...A.2OB9C.E5.HJ..." 465 "2.I.1.......AO5.P...K.3.." 466 "..H....L..M.CIJ..7...4..." 467 "GO.9..KF.I.P3...E.HJ...N7" 468 "5.37...B.E...4N..O.8....." 469 "4B...7.9O.HL..E2C3.K51.M." 470 "L.O42...D..AJ.8...GH.N..E" 471 "9M.8.H..LG1..N..5.E..F7B." 472 "......FAC..5M..I6J.B4...G" 473 "...F..82..P.E......36HK.L" 474 "B.J.G5...O.H2..98.7......" 477 ".CNPHK.53.O9F..D.78..J..." 478 "J.....F.DB...7.G..PAE...L" 479 ".6.........5.4A......I..." 480 "A..L.6.E.1JG....5.H.2...9" 481 "..G4..P...E2N.M...C..FB.1" 482 "..PKJ...G41O..C.N..H....." 483 ".M..I5L97J.3H...E2.8...D." 484 "1.4..ON.83G.P.D59..C.BH.." 485 "..2.9.......4.F.3.6..O.7." 486 "3F.7.MEC..5...2..4K.LN8.." 487 "...I........MF7.6AOG..LE." 488 "C1.3..JG..D.9...4..N...68" 489 "...M7L9..NHA...FJ.I..3.C." 490 ".A...P...5...E3.8M..K4OFG" 491 ".....C.6KIP...8..3.DJ...." 492 ".2.J...3C..7.D.9A.EF6L..." 493 "4...3.6N.....L9.H..P8...2" 494 ".9.C.4H.......P....1..FJ3" 495 ".LD.K87.1.BM5AJN....4H.G." 496 ".B..MAI........47O.LD...." 497 ".G....3....F..1..9..M..K6" 498 "P7.A..B8.......2....I.3.." 499 "M..O....9K2..6..1.N.FE.L." 500 "....E...A..N.J.IG8...C.9." 501 "6KL.4...FCI.A.....5J.2D.N" 504 "E..I...M......L....D...BK" 505 "F..BH9.K.A2.7..E4.P.6..M." 506 ".6.J..PD8FE.IM...K...54.." 507 "L...8E...IA..HC........7J" 508 ".....7H.4.JK..DOFC....9I." 509 "9...7A.5.B.M34E.KDJ8....." 510 "8...BD....O..7....CP.E.6." 511 ".1.3..8....D...2.ML.B..5A" 512 ".E2.A.O.7..1..I.659..8LD." 513 "KF..M2...PL......A.G..N3." 514 "...76N.1..CBG...DPK..O.J2" 515 ".JK...6B.9..P.7.N.EMFDG.5" 516 "N....G.F.8....OH9.2...E.7" 517 "....4.3....F9.....5.NC.A." 518 "M.A.GL.J......5..4.7.91.." 519 "C.8NE.5..6..M.....BJ17..H" 520 "7.6...NL.41.AC.I8...GJ3.." 521 "...53P.GM2.L..F.....K.68." 522 "J.4.D..H..IG..8K..35.N.FL" 523 "P.F...93.D.....A.1......M" 524 "..7.I...1...DF..PJ.4.MA.." 525 ".KN.....5H..O.63.E.2....4" 526 "....1...O..A2..DCH8B..KE." 527 "3.HA.6BP.....J1957O..28.." 528 "42JO.I...K5C......6.P.B.." 531 "...G87..O..F.N..CH6..D..2" 532 "C16..N....DL.3.E........." 533 ".LN.EK..D..O.G6.412....5H" 534 "K...2........59M...P..3.." 535 "..A9.M.6....8.E7O3..K..LB" 536 "7..8B.1.EP.....4.L.6.C.9." 537 ".3.6...9.85.A2F.....B.EP." 538 ".D4K.L..NA....C.M.E..7..." 539 "L..P.3H.CG.7....DKF..I6.." 540 "5EH.G.7.6.1....J....D3K.O" 541 ".6.....G.K.E..I2.4J......" 542 "..ICFP.8H7.2.O.B.NM5..G.." 543 ".M..D9..BE..J..F..I7..LAK" 544 ".BE.L...31.M7FK..C9..8.DN" 545 ".2O......D38C...E...F.P.." 546 ".A.....M..NB..3.J.7E8..2." 547 "...O...B..6..C.8KG4..5D7M" 548 "....M8..I..9..AL1.O.3HBNG" 549 ".C..4....L.....D.F......." 550 "J..5NF..G...H..6..C..1..." 551 "D..N..O....G9.J.A..I...8." 552 ".F.H1BN.K.O.4.8.6.3.9.M.." 553 "B...I....9K..6..2...G.H1." 554 "O...7.CJMI25N...HDKBPFAE." 555 ".....28.F..C........O.JK." 558 "9.K..6D.I5...........H..." 559 ".I.E..BK...GN...6.L...3.." 560 "7....2..L8E.K.D1.P5I.6..A" 561 "..N.LEH.A32..CM9........." 562 "..2....9N...3.IC...J.KF8." 563 "......GA..C.7JPNI3....6L." 564 "....E.J.8K..I.....97NG2.B" 565 "O7..3HI...M.....DCF5..914" 566 "L.M.4.3.19.D..2......F.K." 567 "B....F...O9.6ANG.2.PH.E.5" 568 "8KDM...5.1....G......P..6" 569 ".4.H.L.C..J2....G..3ION.." 570 "C.A..J..E...1K......92.5." 571 ".9O.NP.2...IA....H..G..7." 572 "...I5..O.N4.H...2DCKJ...E" 573 "56....1.D..AJ.....7.L.O.." 574 "K.8.H.7.9.5....AC..O..G6F" 575 "3..........O..C.F.P6K.5.." 576 "...OC.4J2.3E.9...N.H7..P1" 577 ".B.7.K.....6.MH.LJ..A...." 578 "I..4.........P..E7D9O.B.H" 579 "E.3G.OP...I1CBL..FN4..82." 580 ".A..9N.8.E...73O..H....4." 581 ".M.C.3....DK..EI......JG." 582 ".HP..D..FB...NO.1KJ8.AL.." 585 "....L.1.8H.CO..P....FA..." 586 "P1.2.4CO...K..A..3H8...7." 587 "I..H.G.5.B.6.M..A24.K..9." 588 "....6I.KF9..5.P.J1.BDCE.M" 589 ".A....2...F..L..E.M.6.5O3" 590 "7..1.C...8.L9..4P.5.G.K.." 591 "JO.5H.M2.I.7.F.6D..A4..NE" 592 "E.3.NO....K2...LG..7JM..." 593 ".9F.CJ.H....A.NKB.1..2.5." 594 "2LB...5..7.P36H.M..N...1D" 595 ".....P..B....46.HJ......." 596 "B4..7LI.C.GD2...KA.3H...." 597 "K5......6J1.........27O8P" 598 "LP...5K.G..JB3.......1.M." 599 "..EG...4.F.NKC...O..9.B.." 600 "..MI...D32AGP..5O...74.BN" 601 "FC74.....1..LO..8...5.D.J" 602 "..JN....H...E.I...DPA3.6." 603 "AE.......O3F..5.........H" 604 "...8..6......24.9G....I.1" 605 ".M....8.9..O1.F.C.EL3...A" 606 ".N...E.3.....I7M1...ODG.K" 607 "1......P.N9..D..5........" 608 ".I.P..FGOCMA.......J.5..2" 609 ".GK....7...3.....92..B.L4" 612 "...H....GKM.43..B.D......" 613 "15I.C....8B.6D.7G....A.H4" 614 ".7...F..B...J.E16.N....3." 615 "...D.1...6L7.H.5K....P98F" 616 "KJ.AF.5CHO...NP2M.....B.." 617 "4..K..I9.M.DNP..A.3..E5O6" 618 "PGC...HE.....I5..M...7..J" 619 ".B.EJ..G.5..L....D.48.2.." 620 ".D....N.4.J.2A..H..5..F1." 621 "8....AJLD.7..OM...1B....P" 622 "CH...N..7.........B3....." 623 "I..O.JL..P5...3......KH.8" 624 "D.259.E......6.......L3.." 625 "...3K6.B.AE..74N25H..G1.." 626 ".L.B..41.HC...G.OIP8..MN7" 627 ".........2.C.4.L....69.I5" 628 "N...7.C...69.5.A......PKL" 629 "....L.G...13.BOMP.82..D7H" 630 "...C.H..5.P.E.K...I7....." 631 "JO..P.96ABI8.....C..N..4G" 632 ".NA8H.32..O4..IB..L9G..J." 633 "..4.GD..M.3..27INJ.O....." 634 ".C9L..A..J.....6.2..I..F." 635 "BK...4..F.A.CL..87.1.O.M." 636 "6..P.I.5...M..N....F....D" 639 ".6OL.3GB.I.1F.EP..9..24.." 640 "..1.P.....K....N.2.....ID" 641 "2.8.K7..J...6..1F.......A" 642 "...D.8.4..29..LJ7.HMKPF.." 643 "..I.9N...A..P.M.DK...E5.." 644 "94.N...5..F..E.C182..BG3." 645 "8D..3HC....6G.....P.F.72I" 646 "C..I.E.7D....8BG.F...6..." 647 "......L....N.24..I..1K.DJ" 648 ".27HG.NF......I..L..E.A.." 649 "L...N.I8F6.H.9K.3O..B..5P" 650 ".9...L..25.B14F.N.JE...7K" 651 ".1...9B....GJ.8.A.5C....." 652 "....CPK..J....5.M.7.6.H.3" 653 "..F7..3..O..N..B8....421." 654 "AM.8....P...71..26N...3G." 655 "P....D.2.78.O..5CJ.GA.BH." 656 "6..4.F...3...K9A..1...J.M" 657 ".I2.E......JM.N...B98..P." 658 "FC..7..6.EI.D.G...3H5..KN" 659 "I8NO.4F.9..DB....5......." 660 "5..1...G3.MIH.A.9..N....." 661 "KG.62..1.....L3.....IJE.F" 662 "....D.6.AC4.9.....OL.HP.." 663 "..EA.5O.L.6.......D...9N." 666 ".CH3.L..D4F..I.........1." 667 "G..K.....7.O.......L.42N." 668 "A.D...5O8B...39G.4..I...L" 669 "1E2OB....A8N..6FCD9.H...G" 670 "IN..4..3.....J..5OM....9." 671 "...JEMP..9G8..D7......BA." 672 "B.M9..L....6...2.FI.KJ..." 673 ".LN.386A..BH....O.J.2..7." 674 "7A6..2..3N.....4KP..G8HIC" 675 ".1.....J.CK3....HB..5L4.." 676 ".H......P.I.57....G..21B4" 677 "....7.....EP1....3.2..A.." 678 ".59.1FI.L8.MJG.B..AH....E" 679 "NI..D....O3K..A.P9..8F..." 680 ".O....A..E2.8.HN.J7.P...." 681 ".MC..P....H2...A7..ID...1" 682 ".6.....M.J.14.BDG.3.O9F2." 683 ".......CG.........4...M.." 684 "HDL...8N7.......FK2C.E..B" 685 "..KP2I.F.3...N7J.E.6..L85" 686 "D.E...C.4.7B..I....A.1..M" 687 "J..M..7..D.A..4...ONBG..2" 688 "9.7.6..K..P..O....D...8.." 689 ".2IN..GE1.D..8...MK.CPJH." 690 "FG..8B.2.L..KH.....1.5E..",
1794 "BNDAJG62O7591KHF8IP34CLME" 1795 "FG.M.B8...P.E...CJ..H...." 1796 "...........G.4.H.D.O.NJA2" 1797 ".....J.EN4.L6MA.B.2......" 1798 "HE..2..DC.....F4KMA.B.9O8" 1799 "M....62...47C19......E5.." 1800 ".I2.8M.JGL...ADN..K..3.F7" 1801 "..H3.5..89....I.J.....NL." 1802 "1B..9.FAP.6.N....537.H..O" 1803 "......1..N...O...LC.68.PG" 1804 "KOA.FNBH.....7.C.....M..6" 1805 "45.ECP.I..N.F.J1...MK.79." 1806 "I.L..8.O..9.P...A...2.1J." 1807 "..621.D.M.....B8LG..P..CH" 1808 ".HP.N7E.L1....3..B..O.G45" 1809 "....BIO....5.C.P...FN48E." 1810 "...FL.....2.DH..17..59O.." 1811 "..I.MF..2G.N...A6O.HC.PB." 1812 "72.1..L...IM.96E.45G....." 1813 "..9...7M..A.O...I...L...." 1814 ".C.JA.........1.....E.48." 1815 "O.BI.......PHL.6..1....5C" 1816 "G6M...N4FI8...K..H.E....." 1817 ".L..4.917....BE.G8F.M.I.." 1818 "8F......5.O3..4...9.....K",
1821 ".ND.JG6.O7591..F8IP.4.LM." 1822 "FG.M.B8...P.E...CJ..H...." 1823 "...........G.4.H.D.O.NJA2" 1824 ".....J.EN4.L6MA.B.2......" 1825 "HE..2..DC.....F4KMA.B.9O8" 1826 "M....62...47C19......E5.." 1827 ".I2.8M.JGL...ADN..K..3.F7" 1828 "..H3.5..89....I.J.....NL." 1829 "1B..9.FAP.6.N....537.H..O" 1830 "......1..N...O...LC.68.PG" 1831 "KOA.FNBH.....7.C.....M..6" 1832 "45.ECP.I..N.F.J1...MK.79." 1833 "I.L..8.O..9.P...A...2.1J." 1834 "..621.D.M.....B8LG..P..CH" 1835 ".HP.N7E.L1....3..B..O.G45" 1836 "....BIO....5.C.P...FN48E." 1837 "...FL.....2.DH..17..59O.." 1838 "..I.MF..2G.N...A6O.HC.PB." 1839 "72.1..L...IM.96E.45G....." 1840 "..9...7M..A.O...I...L...." 1841 ".C.JA.........1.....E.48." 1842 "O.BI.......PHL.6..1....5C" 1843 "G6M...N4FI8...K..H.E....." 1844 ".L..4.917....BE.G8F.M.I.." 1845 "8F......5.O3..4...9.....K" 1849 const unsigned int n_examples =
sizeof(
examples)/
sizeof(
char*);
1853 int l = std::strlen(s);
1855 assert(res*res*res*res == l);
1862 assert(i >= 0 && i < n);
1863 assert(j >= 0 && j < n);
1864 char c = s[j*n +
i];
1865 if (!std::isalnum(c))
1867 if (std::isdigit(c))
1869 if (std::islower(c))
1870 c =
static_cast<char>(std::toupper(c));
1872 int res = (c -
'A') + 10;
1873 if (res > n)
return 0;
int example_size(const char *s)
The size of an instance.
int sudokuField(const char *s, int n, int i, int j)
Return value at position (i,j) in the example s of size n.
Gecode::FloatVal c(-8, 8)
int n
Number of negative literals for node type.
Gecode::IntArgs i({1, 2, 3, 4})
const TileSpec * examples[]
List of specifications.
const unsigned int n_examples
The number of examples.
void sqrt(Home home, FloatVar x0, FloatVar x1)
Post propagator for .