Hi Folks! I'll be your biat.. er SoC student for the following 3 months...

[Thomas Schilling]

> Week 2-3: Constraint solver implementation and testing
>  - I'll start with the naive algorithm, but I guess I need to add some
> more clever testing.
s/clever testing/clever optimizations/