##### - variables
A 10
B 20
C 1
D 32
E 40
F 45
G 12
H 31
I 46
J 31
##### - values
a
b
c
d
e
f
g
##### - deadline constraint
50
##### - unary inclusive
A a b d e f
C b g
##### - unary exclusive
B b c d e g
H e f g
I a b c f g 
J b d e f 
##### - binary equals
C D
E A
##### - binary not equals
C J
F I
E H
##### - binary not simultaneous
A C d g