added kryptod solver