Turbo Constraint Solver Documentation