AC-3 algorithm #02

AC-3 algorithm #02
de