New 0solve command for use as Solver backend