frapac

using BenchmarkTools
using CUTEst
using MadNLP

name = "OPTMASS"
nlp = CUTEst.CUTEstModel(name)
solver = MadNLP.MadNLPSolver(nlp)

frapac

abstract type AbstractKKTSystem end

"Assemble KKT matrix."
function compress! end

"Factorize KKT matrix with given linear solver."
function factorize! end

"Solve KKT system `Wx = b` with given linear solver."

frapac

abstract type AbstractLinearSolver end

"""
    introduce(solver::AbstractLinearSolver)

Print the name of the linear system.
"""
function introduce end

frapac

using MathOptInterface
using MathOptFormat
using Dualization

const MOI  = MathOptInterface
const MOIU = MathOptInterface.Utilities
const MOF  = MathOptFormat

# Mock model
MOIU.@model(TestModel,