Canonical Form Solver Extension