"""
This type stub file was generated by pyright.
"""

from .core import LpSolver, LpSolver_CMD

"""
This type stub file was generated by pyright.
"""
class HiGHS_CMD(LpSolver_CMD):
    """The HiGHS_CMD solver"""
    name: str = ...
    SOLUTION_STYLE: int = ...
    def __init__(self, path=..., keepFiles=..., mip=..., msg=..., options=..., timeLimit=..., gapRel=..., gapAbs=..., threads=..., logPath=..., warmStart=...) -> None:
        """
        :param bool mip: if False, assume LP even if integer variables
        :param bool msg: if False, no log is shown
        :param float timeLimit: maximum time for solver (in seconds)
        :param float gapRel: relative gap tolerance for the solver to stop (in fraction)
        :param float gapAbs: absolute gap tolerance for the solver to stop
        :param list[str] options: list of additional options to pass to solver
        :param bool keepFiles: if True, files are saved in the current directory and not deleted after solving
        :param str path: path to the solver binary (you can get binaries for your platform from https://github.com/JuliaBinaryWrappers/HiGHS_jll.jl/releases, or else compile from source - https://highs.dev)
        :param int threads: sets the maximum number of threads
        :param str logPath: path to the log file
        :param bool warmStart: if True, the solver will use the current value of variables as a start
        """
        ...
    
    def defaultPath(self):
        ...
    
    def available(self):
        """True if the solver is available"""
        ...
    
    def actualSolve(self, lp):
        """Solve a well formulated lp problem"""
        ...
    
    def writesol(self, filename, lp):
        """Writes a HiGHS solution file"""
        ...
    
    def readsol(self, filename):
        """Read a HiGHS solution file"""
        ...
    


highspy = ...
class HiGHS(LpSolver):
    name = ...


