lll

Added some continuous optimization infrastructure and a simple MT-inspired algorithm.

Some incomplete thoughts about the Markov chain interpretation of the entropy argument.

Made solvers work for generic CSPs.

Further revisions to initial draft of paper.

Further work on the paper.