Meta Solvers

[TODO]