()
return requested_solvers
Parses the PYSMT_SOLVER env variable to extract requirements to fulfill
Parses the PYSMT_SOLVER env variable to extract requirements to fulfill
Parses the PYSMT_SOLVER env variable to extract requirements to fulfill
def get_requested_solvers():
    """Parses the PYSMT_SOLVER env variable to extract requirements to fulfill"""

    requested_solvers_str = os.environ.get("PYSMT_SOLVER")
    requested_solvers = []
    if requested_solvers_str is not None:
        keys = requested_solvers_str.split(",")
        requested_solvers = [x.lower().strip() for x in keys]
        if "all" in requested_solvers:
            requested_solvers = [x.InstallerClass.SOLVER for x in INSTALLERS]
    return requested_solvers
def get_requested_solvers ( ) : requested_solvers_str = os . environ . get ( "PYSMT_SOLVER" ) requested_solvers = [ ] if requested_solvers_str is not None : keys = requested_solvers_str . split ( "," ) requested_solvers = [ x . lower ( ) . strip ( ) for x in keys ] if "all" in requested_solvers : requested_solvers = [ x . InstallerClass . SOLVER for x in INSTALLERS ] return requested_solvers