ToySolver.Data.MIP.Solver.Base

data SolveOptions

class Default a

class IsSolver s m