Maj interface and new class Solver