רשימת קורסים הרשמה כניסה
Scoreboards

כניסה

כניסה

[COCP] Combinatorial Optimisation and Constraint Programming (autumn 2024)

MiniCP is a CP solver made for education.

These exercices are part of a course, available on http://minicp.org.

Introduction
Create GitHub Repository
Assignment 4: Theoretical Questions of Modules 1 and 2
[Module1 Theory] TinyCSP
[Module2 Theory] Domains, Sparse Sets and State Manager
Assignment 4: Programming
Assignment 4
Assignment 5: Theoretical Questions of Modules 3 to 5
[Module3 Theory] Consistency, Element and Sum Constraints
[Module4 Theory] Table Constraint
[Module5 Theory] AllDifferent Constraint
Assignment 5: Programming
Assignment 5
Assignment 5 — Stable Matching
Assignment 5 — Eternity
Assignment 6: Theoretical Questions of Modules 6 to 9
[Module6 Theory] Circuit Constraint and Optimization in CP
[Module7 Theory] Cumulative Constraint
[Module8 Theory] Disjunctive Scheduling
[Module9 Theory] Black-Box Search Search
Assignment 6: Programming
Assignment 6 — Tasks and sub-tasks mandatory for all (duo teams, designated sub-teams, and solo teams)
Assignment 6 — Tasks and sub-tasks mandatory for all duo teams (not mandatory for solo teams and designated sub-teams)
Assignment 6 — Tasks and sub-tasks of the optional Disjunctive propagator for duo teams
Assignment 6 — Tasks and sub-tasks of the optional Disjunctive propagator for solo teams and sub-teams