Size constraint solver.

Developed 2013 by Andreas Abel and Felix Reihl (BSc LMU Munich).
