On 2016-06-12 02:51, Basa Centro wrote:
I myself have contemplated using an implicit modeling backend with Sussman et al's. propagator concept to do the constraint solving, but that is a ways off I am afraid.
Why do you think Sussman et al's. propagator don't solve OP problem?