lib:propeller

Modules

• Data.Propagator.Cell
• Data.Propagator.Change
• Data.Propagator.Num

Dependencies

• base lib:base >=4.7 && <5

Reverse dependencies

Direct only. Not exhaustive.

• finito lib:finito
• finito test:queens
• finito test:sudoku
• propeller test:unification