Problem facade for constraint solver - View it on GitHub