dfainductor/solver_wrapper.py
def run_solver(solver):
    """
        Run a single solver on a given formula.
    """
    logging.info(f"starting {solver}")
    res = solver.solve()
    logging.info(f"finished {solver} -- {res} outcome")

        Run a single solver on a given formula.
    
Run a single solver on a given formula.
Run a single solver on a given formula .
def run_solver(solver):
    logging.info(f"starting {solver}")
    res = solver.solve()
    logging.info(f"finished {solver} -- {res} outcome")
def run_solver ( solver ) : logging . info ( f"starting {solver}" ) res = solver . solve ( ) logging . info ( f"finished {solver} -- {res} outcome" )
Run a single solver on a given formula.
Run a single solver on a given formula .
"""
        Run a single solver on a given formula.
    """
solver