Fedora 27 Update: gecode-5.1.0-1.fc27