ciaranm / glasgow-constraint-solver

A constraint programming solver with support for proof logging
11Updated 2 months ago

Related projects

Alternatives and complementary repositories for glasgow-constraint-solver