This example finds an optimal solution for an over-constrained rhythmical CSP discussed by Charlotte Truchet (as asynchronous rhythms).
NB: the explanation for this example will soon be extended and musical output will be provided. Please come back later ;-)