Namespace: PuzzleSolvers

Assembly: PuzzleSolvers

AnagramConstraint	Describes a constraint in which a specified set of cells must have one of a specified set of value combinations, but they may be reordered arbitrarily.
AntiBishopConstraint	Describes a constraint in a number placement puzzle in which cells that are diagonal from each other (like a bishop’s move in chess) cannot contain the same value.
AntiChessConstraint	Describes a constraint in a number placement puzzle in which cells that are at specific relative placements from one another cannot contain the same value.
AntiCloneConstraint	Describes a constraint that mandates that two same-size regions cannot contain the exact same digits.
AntiKingConstraint	Describes a constraint in a number placement puzzle where no adjacent cells (including diagonals) can have the same value.
AntiKnightConstraint	Describes a constraint in a number placement puzzle in which cells that are a knight’s move away from each other cannot contain the same value.
BattlefieldUniquenessConstraint	Describes a “battlefield” constraint: the first and last number in the region represent the sizes of two armies, who march inward; the clue specifies the sum of the digits that are sandwiched between the armies or that are within the armies’ overlap. This constraint implies a uniqueness constraint. (see also remarks)
BetweenLineConstraint	Describes a “between line” constraint: every digit within the BetweenLineConstraint.InnerCells must lie numerically between the values in cells BetweenLineConstraint.Cap1 and BetweenLineConstraint.Cap2 (exclusive).
Binairo	Describes a Binairo (Binary Puzzle, Tohu-wa-Vohu) puzzle.
CloneConstraint	Describes a constraint where two regions of the grid must be identical (“clones”). (see also remarks)
CombinationsConstraint	Describes a constraint in which a specified set of cells must have one of a specified set of exact value combinations.
ConsecutiveUniquenessConstraint	Describes a “Renban cage”: the numbers within the region must be unique and form a set of consecutive integers (though not necessarily in order). (see also remarks)
Constraint	Abstract base class for all constraints in a puzzle.
ConstraintReplace	Return this from a call to Constraint.Process(SolverState) to indicate that this constraint should be replaced with a given set of other constraints (which can be empty to remove this constraint).
ConstraintResult	Base class for classes describing the result of a call to Constraint.Process(SolverState).
ConstraintViolation	Return this from a call to Constraint.Process(SolverState) to indicate that the constraint is already violated. (see also remarks)
CustomConstraint	Describes the function signature required for a LambdaConstraint. See Constraint.Process(SolverState) for parameter and return value documentation.
EqualSumsConstraint	Describes a constraint in a number-placement puzzle (such as Sudoku) where several regions must have the same sum, but the sum is not given.
Fillomino	Contains an algorithm for solving Fillomino puzzles. This solver is independent of Puzzle.
FindTheValueConstraint	Describes a constraint in a number-placement puzzle that indicates that whatever value the specified FindTheValueConstraint.Cell contains, the cell that many steps away must contain FindTheValueConstraint.Value.
FiveCellLambdaConstraint	Constrains five cells to values that satisfy a lambda expression. (see also remarks)
FourCellLambdaConstraint	Constrains four cells to values that satisfy a lambda expression. (see also remarks)
FrameSumSudoku	Describes a Frame-Sum Sudoku, which is surrounded by numbers. Every number indicates the sum of the first few cells visible from that location. Between `minLength` and `maxLength` cells may be included in that sum.
GivenConstraint	Describes a given in a puzzle (a value already pre-filled at the start).
IndirectSumConstraint	Describes a constraint in which a specific region of cells must sum up to the value in another cell. In a variant Sudoku, this is often represented as an arrow coming out of a circle, and hence, the variant is known as “Arrow Sudoku”.
JigsawSudoku	Describes a Sudoku puzzle with irregular regions.
KillerSudoku	Encapsulates a 9×9 Sudoku puzzle with Killer cages (sum + uniqueness constraints).
Kyudoku6x6Constraint	Describes a constraint that will solve a Kyudoku puzzle given a 6×6 grid of numbers 1–9. The solution will contain a 0 for marked cells and a 1 for struck-out cells.
LambdaConstraint	Can be used to describe any constraint that applies to the whole puzzle using a lambda expression.
LatinSquare	Describes a standard 9×9 Sudoku puzzle.
LessThanConstraint	Describes a constraint in a number-placement puzzle (such as a Thermometer Sudoku) where a series of cells must be in ascending order.
NoConsecutiveConstraint	Describes a constraint in a number-placement grid puzzle where no adjacent cells can have numerically consecutive values.
Nonogram	Contains methods to deal with Nonogram puzzles.
NoTouchModuloConstraint	Describes a constraint in a number-placement grid puzzle where the values in orthogonally adjacent cells (NOT including diagonals) cannot have the same remainder modulo a fixed quotient.
Numberlink	Contains an algorithm for solving Numberlink puzzles. This solver does not use Puzzle.
OddEvenConstraint	Describes a constraint in which a group of cells can be only all evens or all odds.
OddEvenType	Describes the specific flavor of an OddEvenConstraint.
OffsetCloneConstraint	Describes a constraint where two regions of the grid must be identical (“clones”) except that one is plus or minus a consistent offset from the other. (see also remarks)
OneCellLambdaConstraint	Constrains a single cell to values that satisfy a lambda expression.
OrConstraint	Describes a composite constraint in which one of a set of constraints must be met.
ParityEvennessConstraint	Describes a constraint that mandates that there must be an equal number of odd and even values in a row. This is a subset of the rules of Binairo. (see also remarks)
ParityNoTripletsConstraint	Describes a constraint in a number-placement puzzle that mandates that the parity (odd/evenness) of the values cannot form triplets in a row/column. (see also remarks)
ParityUniqueRowsColumnsConstraint	Describes a constraint in a number-placement puzzle that mandates that the parities (odd/evenness) of the values must form different patterns in every row and column. (see also remarks)
PermutationUniquenessConstraint	Describes a CombinationsConstraint that also implies a UniquenessConstraint.
ProductConstraint	Describes a constraint in which a specific region of cells must have a specified product (multiplication).
Puzzle	Describes a puzzle.
PuzzleUtil	Contains extension methods for code related to PuzzleSolvers.
SandwichSudoku	Describes a Sudoku variant in which numbers written outside the grid describe the sum of the digits in that row/column that are sandwiched between two specific values (usually 1 and 9).
SandwichUniquenessConstraint	Describes a “sandwich” constraint: the numbers sandwiched between two specific numbers must sum up to a specified total. This constraint implies a uniqueness constraint. The two specified numbers can be in any order. (see also remarks)
SandwichWraparoundUniquenessConstraint	Describes a “sandwich wraparound” constraint: the numbers that follow a specific number and precede a specific other number, wrapping around the grid if necessary, must sum up to a specified total. This constraint implies a uniqueness constraint. (see also remarks)
SixCellLambdaConstraint	Constrains six cells to values that satisfy a lambda expression. (see also remarks)
SkyscraperPuzzle	Represents a Skyscraper puzzle.
SkyscraperUniquenessConstraint	Describes a “skyscraper” constraint: the numbers in the grid represent the height of a skyscraper; taller skyscrapers obscure the view of smaller ones behind them; and the clue specifies how many skyscrapers are visible from the direction of the clue. This constraint implies a uniqueness constraint. (see also remarks)
Slitherlink	Provides functions to solve Slitherlink puzzles. This solver does not use Puzzle.
SolverInstructions	Use this to instruct the puzzle solver (Puzzle.Solve(SolverInstructions)) to perform certain types of analysis for the debugging of constraint implementations.
SolverState	Encapsulates information given to Constraint implementations (in a call to Constraint.Process(SolverState)) during the puzzle solving algorithm.
Sudoku	Describes a standard 9×9 Sudoku puzzle.
SumAlternativeConstraint	Describes a constraint in a number-placement puzzle where either one of several regions must have a specified sum.
SumConstraint	Describes a constraint in which a specific region of cells must sum up to a specified value. (see also remarks)
SumOrProductConstraint	Describes a constraint in which a specific region of cells must have a specified value as either its sum or its product.
SumUniquenessConstraint	Describes a “killer cage”: the numbers within the region must be unique and sum up to a specified total. (see also remarks)
ThreeCellLambdaConstraint	Constrains three cells to values that satisfy a lambda expression.
TwoCellLambdaConstraint	Constrains two cells to values that satisfy a lambda expression.
UniquenessConstraint	Describes a constraint that mandates that a region of cells must have different values.
XSumUniquenessConstraint	Describes an “X-sum” constraint: the first X numbers must sum up to a specified total, where X is the first of those digits. This constraint implies a uniqueness constraint. (see also remarks)