A polyomino puzzle consists of a board and a set of polyomino pieces to be placed onto the board. The puzzle is considered solved when all pieces have been placed.
type t = {pieces : Polyomino.t list;pieces remaining to be placed
*)board : Board.t;board upon which to place the pieces. For a (partially) solved puzzle it tracks what piece occupies each square.
*)}Data type representing the state of a puzzle.
val classic : tThe initial state of the 'classic' Pentominos puzzle.
val classic_no_symmetric_solutions : tSame as the 'classic' puzzle, but one assymetric puzzle piece deliberately has all but one of its variants removed (this ensures that symmetric solutions are eliminated, by not allowing that one piece to only be used in one orientation)
val solve :
?report_progress:(string -> t -> unit) ->
t ->
Board.t Knights_tour.Searchspace.t