# Julia Hamilton and Madhan Premkumar
# April 28, 2005
# Project for the FIT Cryptography class, Spring 2005
# Advisor: Marius Silaghi
# ########################################################
# A modification made by M.C. Silaghi (April, 2005)
##########################################################

GENERIC_DISWCSP_V1

MODULUS 19

PARTICIPANTS 4 

PUBLIC-KEYS
2257 158 
2257 158 
2257 158 
2257 158 

ADDRESSES
127.0.0.1     10011
127.0.0.1     10012
127.0.0.1     10013
127.0.0.1     10014

INPUTS
1
PA1 T 2 2
TO A1 A2 
PREFERS  A1 A2 
Boolean
1
PA2 T 2 2
TO A1 A2 
PREFERS  A1 A2 
Boolean
1
PA3 T 2 2
TO A1 A2 
PREFERS  A1 A2 
Boolean
1
PA4 T 2 2
TO A1 A2 
PREFERS  A1 A2 
Boolean

INTERMEDIARY-INPUTS 2
PrA(__aa,__bb,__cc)=SWITCH(__aa,PA1(__bb,__cc),PA2(__bb,__cc),0)
PrB(__aa,__bb,__cc)=SWITCH(__aa,PA3(__bb,__cc),PA4(__bb,__cc),0)

INTERMEDIARY-OUTPUTS 2
Ca=+(-(2,-(Aa,2)),*(2,-(2,-(Ba,2))))
Da=+(-(-(Aa,2),1),*(2,-(-(Ba,2),1)))

VARIABLES 2 
Aa 2 
Ba 2 
# Ca 2 
# Da 2 

PUBLIC-CONSTRAINTS 1
2 Aa Ba
0 1  
1 0 

# 2 Ca Da
# 0 1  
# 1 0 

INDUCED-CONSTRAINTS 1
C01
2 Aa Ba
*(-(1,*(PrA(0,Ba,Aa),-(1,PrB(Ba,1,0)))),-(1,*(PrA(1,Aa,Ba),-(1,PrB(Aa,0,1)))))

OUTPUTS
1 
stable_marriage_Aa Aa
1
stable_marriage_Ba Ba
1 
stable_marriage_Ca Ca
1 
stable_marriage_Da Da
EOF