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.