Generated on Thu Mar 22 10:39:49 2012 for Gecode by doxygen 1.6.3

Example scripts (models)

Classes

class  AllInterval
 Example: All-interval series More...
class  Alpha
 Example: Alpha puzzle More...
class  BACP
 Example: The balanced academic curriculum problem More...
class  BIBD
 Example: Balanced incomplete block design (BIBD) More...
class  BinPacking
 Example: Bin packing More...
class  BlackHole
 Example: Black hole patience More...
class  CarSequencing
 Example: Car sequencing More...
class  Crew
 Example: Airline crew allocation More...
class  Crossword
 Example: Crossword puzzle More...
class  CrowdedChess
 Example: Crowded chessboard More...
class  DominatingQueens
 Example: Dominating Queens More...
class  Domino
 Example: Solitaire domino More...
class  Donald
 Example: DONALD+GERALD=ROBERT puzzle More...
class  EFPA
 Example: Equidistant Frequency Permutation Arrays More...
class  Eq20
 Example: Solving 20 linear equations More...
class  Golf
 Example: Golf tournament More...
class  GolombRuler
 Example: Finding optimal Golomb rulers More...
class  GraphColor
 Example: Clique-based graph coloring More...
class  Grocery
 Example: Grocery puzzle More...
class  Hamming
 Example: Generating Hamming codes More...
class  IndSet
 Example: Independent sets in a graph More...
class  Kakuro
 Example: Kakuro More...
class  KnightsReified
 Example: n-Knight's tour (simple model) More...
class  KnightsCircuit
 Example: n-Knights tour (model using circuit) More...
class  LangfordNumber
 Example: Langford's number problem More...
class  MagicSequence
 Example: Magic sequence More...
class  MagicSquare
 Example: Magic squares More...
class  MineSweeper
 Example: Minesweeper More...
class  Money
 Example: SEND+MORE=MONEY puzzle More...
class  Nonogram
 Example: Nonogram More...
class  OpenShop
 Example: open-shop scheduling More...
class  OrthoLatinSquare
 Example: Orthogonal latin squares More...
class  Partition
 Example: partition numbers into two groups More...
class  Pentominoes
 Example: Pentominoes More...
class  PerfectSquare
 Example: Packing squares into a rectangle More...
class  Photo
 Example: Placing people on a photo More...
class  QueenArmies
 Example: Peaceable co-existing armies of queens More...
class  Queens
 Example: n-Queens puzzle More...
class  Radiotherapy
 Example: Radiotherapy More...
class  Sat
 Example: CNF SAT solver More...
class  Schur
 Example: Schur's lemma More...
class  SportsLeague
 Example: Sports league scheduling More...
class  SteelMill
 Example: Steel-mill slab design problem More...
class  Steiner
 Example: Steiner triples More...
class  SudokuInt
 Example: Solving Sudoku puzzles using integer constraints More...
class  SudokuSet
 Example: Solving Sudoku puzzles using set constraints More...
class  SudokuMixed
 Example: Solving Sudoku puzzles using both set and integer constraints More...
class  TSP
 Example: Travelling salesman problem (TSP) More...
class  Warehouses
 Example: Locating warehouses More...
class  WordSquare
 Example: Word-square puzzle More...

Detailed Description

All scripts are compiled into simple standalone programs. All programs understand the several generic and problem-specific commandline options. An overview of the options is available by invoking the standalone programs with the -help commandline option.