satchmo-1.9.1: SAT encoding monad

Satchmo.SAT.Sequence

Description

binary trees without any balance

Documentation

data Seq a Source

Constructors

Empty 
Leaf !a 
Branch !(Seq a) !(Seq a) 

Instances