#
# 2cc Hadamard matrix Legendre pairs CSP, {V,D,C}, for ell = 3
# Created by: Ilias S. Kotsireas, ikotsire@gmail.com, Date Created: December 15, 2020
# 6 variables, 6 {-1,+1} domains, 3 constraints, (2 linear and 1 quadratic)
#

V := 
a1, a2, a3
b1, b2, b3

D := 
Da1 = ... = Da3 = {-1,+1}
Db1 = ... = Db3 = {-1,+1}

C := 
c1 := a1*a2+a2*a3+a3*a1+b1*b2+b2*b3+b3*b1 = -2

c2 := a1+a2+a3 = 1

c3 := b1+b2+b3 = 1