Solvers

	LLL
	LLL with restart
	LLL for all lambda
	Mc Kay (backtrack)
	Spread
	Dance (lambda=1 only)
	Large Set (deterministic)
	Large Set (random)
	get solutions from solver
	check solutions
	Parameters
	Extend as residual design (lambda, p = 1,2,...)