REPAIR: Constraint-Based Repair

# Chapter 10 REPAIR: Constraint-Based Repair

- Introduction
  - Using the Library
- Tentative Values
  - Attaching and Retrieving Tentative Values
  - Tenability
  - The Tentative Assignment
  - Variables with No Tentative Value
  - Unification
  - Copying
- Repair Constraints
- Conflict Sets
- Invariants
- Examples
  - Interaction with Propagation
  - Repair Labeling

1
  If you wish to write your own solver and have it cooperate with repair you have to define a test_unify handler