Implementing Constraint Relaxation over Finite Domains using ATMS