updated NEWS to include inequality solver