set-cover-0.1: Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube
Math.SetCover.BitSet
newtype Set bits Source
Constructors
Fields
Instances
empty :: C bits => Set bitsSource
null :: C bits => Set bits -> BoolSource
keepMinimum :: C bits => Set bits -> Set bitsSource
disjoint :: C bits => Set bits -> Set bits -> BoolSource
difference :: C bits => Set bits -> Set bits -> Set bitsSource