StreamExplorer is a framework designed to
- experiment with SDF (synchronous dataflow) graphs (also has support for task graphs)
 - perform design-space exploration for mapping and scheduling
 - compute scheduling using SMT solver (can also support other scheduling techniques
 - experiment with different hardware platforms (Tilera TILE-64, Kalray MPPA-256)