Example scripts (models)
Detailed Description
All scripts are compiled into simple standalone programs. These programs understand the following options given on the commandline:-mode (solution, time, stat)solution: print solutions.time: measure time.stat: print statistics.
-naive,-smart: if there is a naive and a smart model of the problem, select which to use-solutions: give the maximum number of solutions after which the search stops. 0 means all solutions.-icl (def, val, bnd, dom): give the consistency level of integer constraints such asdistinct.-c_d,-a_c: copying and adaptive recomputation distance to be used by the search engine.-samples,-iterations: how many samples and iterations per sample to compute in time mode.-help: print usage information and default values for all options.
Many scripts can be given the problem size as an extra argument.
Classes | |
| class | AllInterval |
| Example: All-Interval Series More... | |
| class | AllInterval |
| Example: All-Interval Series More... | |
| class | Alpha |
| Example: Alpha puzzle More... | |
| class | Baseline |
| Example: Baseline test More... | |
| class | BIBD |
| Example: Balanced Incomplete Block Design (BIBD) More... | |
| class | BlackHole |
| Example: Black Hole Patience More... | |
| class | Cars |
| Example: Car sequencing More... | |
| class | Crew |
| Example: Airline crew allocation More... | |
| class | CrowdedChess |
| Example: Crowded Chessboard More... | |
| class | Donald |
| Example: DONALD+GERALD=ROBERT puzzle More... | |
| class | Eq20 |
| Example: Solving 20 linear equations More... | |
| class | Golf |
| Example: Golf tournament More... | |
| class | Golomb |
| 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 | Knights |
| Example: n-Knights tour More... | |
| class | LangfordNum |
| Example: Langford's number problem More... | |
| class | MagicSequence |
| Example: Magic sequence More... | |
| class | MagicSequence |
| Example: Magic sequence More... | |
| class | MagicSquare |
| Example: Magic squares More... | |
| class | Money |
| Example: SEND+MORE=MONEY puzzle More... | |
| class | Packing |
| Example: packing squares into a rectangle More... | |
| class | Partition |
| Example: partition numbers into two groups More... | |
| class | Photo |
| Example: Placing people on a photo More... | |
| class | PicturePuzzle |
| Example: Picture puzzles More... | |
| class | QueenArmies |
| Example: Peacable co-existing armies of queens. More... | |
| class | Queens |
| Example: n-Queens puzzle More... | |
| class | SportsLeague |
| Example: Sports League Scheduling More... | |
| class | Steiner |
| Example: Steiner triples More... | |
| class | StressDomain |
| Example: Domain stress test More... | |
| class | StressElement |
| Example: Stress test for element constraint (involving integers) More... | |
| class | StressExec |
| Example: Execution stress test More... | |
| class | StressMin |
| Example: Stress test for the minimum constraint More... | |
| class | StressSearch |
| Example: Search stress test More... | |
| class | SudokuMixed |
| Example: Some Sudoku puzzles using finite domain and set constraints More... | |
| class | SudokuSet |
| Example: Some Sudoku puzzles using set constraints More... | |
| class | Sudoku |
| Example: Some Sudoku puzzles More... | |
| class | Warehouses |
| Example: Locating warehouses More... | |