add glpk-hs dependency
ddc-core-flow: start implementing clustering from paper
ddc-core-flow: implementing size inference
ddc-core-flow: size inference and constraint generalisation
ddc-core-flow: size inference and constraint generalisation
ddc-core-flow: size inference. find iteration size and parent transducers
Merge branch 'master' of github.com:amosr/ddc
ddc-core-flow: convert ddc expression to CNF form
ddc-core-flow: convert ddc expression to CNF form
ddc-core-flow: remove outdated constraint generation; new stuff is in SizeInference module
ddc-core-flow: add trace instructions to size inference etc
ddc-core-flow: pretty printing of CNF and size schemes. add traces for now