ciaranm/glasgow-constraint-solver

A constraint programming solver with support for proof logging