Thu Jul 16 11:16:56 CEST 2009

constraints -> dataflow

Is it possible to implement a constraint network such that it can
mostly be used as a directed dataflow network, but the possibility is
kept open to run some functions in reverse?

The current compile-time DAG sorter could be generalized to a
constraint sorter, but then the primitive functions need to be

What it does look like though is that this can probably be extended
without too much trouble.