I think the idea of a constraint solver is you begin with a constraint; Test(X), where X is in some large space S and Test is some expression yielding true or f

I think the idea of a constraint solver is you begin with a constraint; Test(X), where X is in some large space S and Test is some expression yielding true or false. Then the solver uses some magic to parse Test so that it can search S more efficiently than just loop over it. So if the solver is small enough, it seems like 3d animation could be done but the might need to be somewhat aware of that use. See: https://en.wikipedia.org/wiki/Constraint_programming https://en.wikipedia.org/wiki/Constraint_programming