Previous Up Next

Chapter 10  REPAIR: Constraint-Based Repair




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

Previous Up Next