Add random solver