boilerplate code for AC-3 solver