7.5Examples

Here are two example constraint solvers written in CHR.