How do I model “both Saturday and Sunday on or off” constraints?

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

rep2