package knights_tour

  1. Overview
  2. Docs
Solves the 'Knights Tour' and various 'Poyomino' puzzles

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (6)

Authors

  1. K
    Kris De Volder

Maintainers

  1. K
    kris.de.volder@gmail.com

Sources

knights_tour-0.0.6.tbz
sha256=770624ae4e35d5a58188a1f25e16730d186df8bc4397827fe9a798ea5ca574e3
sha512=b6c7b2473ddf321afaac6b668f9c6820fb8cc872abc494b69edfdff4101c6b660645837b04801e2917c38dd9f19f79bb0a7b029d59a58ddf1e3a235659bab099

doc/knights_tour.pentominos/Pentominos/Puzzle/index.html

Module Pentominos.PuzzleSource

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.

Sourcetype t = {
  1. pieces : Polyomino.t list;
    (*

    pieces remaining to be placed

    *)
  2. 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.

Sourceval classic : t

The initial state of the 'classic' Pentominos puzzle.

Sourceval classic_no_symmetric_solutions : t

Same 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)

Sourceval solve : ?report_progress:(string -> t -> unit) -> t -> Board.t Searchspace.t
Sourceval save : out_channel -> t -> unit

Write a textual representation of a puzzle to a channel. The format is human readable; but it can also be used to restore a puzzle via the load function.

Sourceval save_fmt : Format.formatter -> t -> unit

Write a textual representation of a puzzle to a formatter. The format is human readable; but it can also be used to restore a puzzle via the load function.

Sourceval to_string : t -> string

Convert a puzzle to a string using the same format as save_fmt.

Sourceval load : in_channel -> t

Load a puzzle from a textual representation as produced by save.

Sourceval load_lines : Knights_tour.Lines.t -> t

Load a puzzle from a textual representation as produced by save.