Crate domino_lib

Macros§

stringify_variables: A macro to concatenate a list of variable labels into a formatted string.

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.
generate_valid_puzzle: Generates a valid puzzle of size n that can later be customized by complexity class and randomness.
get_missing_tiles
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.