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

from .core import LpSolver_CMD

"""
This type stub file was generated by pyright.
"""
class CHOCO_CMD(LpSolver_CMD):
    """The CHOCO_CMD solver"""
    name = ...
    def __init__(self, path=..., keepFiles=..., mip=..., msg=..., options=..., timeLimit=...) -> 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 list 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
        """
        ...
    
    def defaultPath(self):
        ...
    
    def available(self):
        """True if the solver is available"""
        ...
    
    def actualSolve(self, lp):
        """Solve a well formulated lp problem"""
        ...
    
    @staticmethod
    def readsol(filename):
        """Read a Choco solution file"""
        ...
    


