horock solver