This is a screenshot for the software RSolver. This software can help you to solve quantified inequality constraints fast and easy.