Towards a complete constraint solver on GPU

Related