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.