Finished constraint sampler main components