Skip to content

Latest commit

 

History

History
18 lines (13 loc) · 419 Bytes

README.md

File metadata and controls

18 lines (13 loc) · 419 Bytes

Clustering

This is an implementation of clustering/scheduling for combinators, using ILP. The version shown in the paper Fusing Filters with Integer Linear Program is in Program/Paper/*.

GLPK, and glpk-hs are required.

Example

$ ./Benchmarks benches/QuadTree.comb
Clustering:
Found a 3-length clustering
1: { minx maxx miny maxy }
2: { External(xmym) }
3: { tl tr bl br }