A cost-based model and effective heuristic for repairing constraints by value modification | Synapse