The CHIP System and Its Applications

This tutorial presents the CHIP constraint logic programming system and some of its applications. We present the different constraint solving modules in the CHIP environment with special emphasis on the high-level global constraints in the finite domain solver.