the nurse rota generation software / jacop constraint programming