Macros§
- stringify_
variables - A macro to concatenate a list of variable labels into a formatted string.
Structs§
- Arc
- Complexity
Class - Represents a complexity class as an integer value.
- Graph
- Puzzle
- Tile
- Tournament
- A tournament graph where each node has an equal number of incoming and outgoing edges.
Enums§
Constants§
Functions§
- classify_
puzzle - Classifies the given puzzle and returns its complexity as a
ComplexityClass. - generate_
puzzle - Generates a puzzle with a valid Eulerian cycle and removes a specified number of tiles.
- get_
missing_ tiles - get_n
- solve_
puzzle - Attempts to solve a given puzzle using a recursive backtracking approach.
- validate_
puzzle - Validates a given puzzle solution by computing a model and checking the objective value.