Example scripts (models)
Classes | |
| class | AllInterval |
| Example: All-interval series More... | |
| class | Alpha |
| Example: Alpha puzzle More... | |
| class | ArchimedeanSpiral |
| Example: Archimedean spiral 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 | CartesianHeart |
| Example: Cartesian Heart More... | |
| class | ColoredMatrix |
| Example: Colored matrix example. More... | |
| class | Crew |
| Example: Airline crew allocation More... | |
| class | Crossword |
| Example: Crossword puzzle More... | |
| class | CrowdedChess |
| Example: Crowded chessboard More... | |
| class | DescartesFolium |
| Example: Folium of Descartes 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 | GoldenSpiral |
| Example: Golden spiral 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 | JobShopBase |
| Example: Job Shop Scheduling 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 | MultiBinPacking |
| Example: Multi-dimensional bin packing 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 | QCP |
| Example: Quasigroup completion 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 | Sudoku |
| Base class for Sudoku puzzles. More... | |
| class | TSP |
| Example: Travelling salesman problem (TSP) More... | |
| class | Warehouses< Script > |
| 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.
