many datastructs are log(n) they should be replaced by loq(c) where c is the number of variables, and c is the number of constraint systems.
Log in to post a comment.
