Added API Use-Case for solving polynomials

Also adding the missed ExhaustiveFiniteDomainSolver commit.