How do I model “no night shift before a weekend off” constraints?

You can write it by the figure below. (“O” is day-off ,and “N” is night-shift in this example)
For example, use Fri on the first day of the pattern.

rep2



rep2