Toggle navigation
Home
Software
Team & Thesis
Publications
Service
Teaching
Contact
MiniCP
is a lightweight open-source constraint programming solver for teaching CP.