Implement Constraint Network
Implement AC2001
Fix empty tuple bug
Implement SAC3