ciaranm/certified-constraint-solver: AAAI2020 - Ciaran McCreesh (2019)