Readme for constraint-solver