Kiwi is a minimalist and extendable Constraint Programming (CP) solver. - View it on GitHub