MiniCP is a lightweight open-source constraint programming solver for teaching CP.