The Quipper System

Algorithms.BF.HexBoard

Description

This module provides the code for drawing Hex boards in graphical format. See Algorithms.BF.Main for an overview of the boolean formula algorithm.

Synopsis

# Documentation

Output the starting HexBoard in the given format, for the given oracle.

Output multiple HexBoards in the given format, for the given oracle.