The Quipper System

Safe HaskellNone

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_start_board :: Format -> BooleanFormulaOracle -> IO () Source #

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

output_HexBoards :: Format -> BooleanFormulaOracle -> [HexBoard] -> IO () Source #

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