Ersatz.Solver
solveWith