parser = OptionParser("usage: %prog [options] [INPUT ...]",
                          description=HELP)
    parallel.populate_option_parser(parser)
    parser.add_option("--relax",
                      help="generate relaxed problem",
                      action="store_true",
                      default=False,
                      dest="relax")
    options, args = parser.parse_args()
    options.suite = suites.build_suite(args)
    return options


if __name__ == "__main__":
    options = parse_options()

    def run_problem(problem, log_func):
        log_func("Translating %s..." % problem)
        success = actions.do_translate(problem,
                                       generate_relaxed_problem=options.relax)
        if not success:
            return "Translating %s failed, skipping preprocess." % problem

        log_func("Preprocessing %s..." % problem)
        success = actions.do_preprocess(problem)
        if not success:
            return "Preprocessing %s failed." % problem
        return None

    parallel.run_jobs(options.jobs, options.suite, run_problem)
Example #2
0

def read_experiment_file(filename):
    glob = {}
    execfile(filename, glob, EXPERIMENT)


def main():
    options = parse_options()
    setup_experiment_settings(options)

    jobs = [(problem, config) for problem in EXPERIMENT["suite_tasks"]
            for config in EXPERIMENT["configurations"]]

    print jobs

    def run_problem((problem, config), log_func):
        log_func("Solving %s with %s..." % (problem, config))
        err_msg = actions.do_search(problem, config, EXPERIMENT["timeout"],
                                    EXPERIMENT["memory"], EXPERIMENT["debug"])
        return err_msg

    tools.log(
        "Solving %d problems in %d configurations." %
        (len(EXPERIMENT["suite_tasks"]), len(EXPERIMENT["configurations"])))
    parallel.run_jobs(options.jobs, jobs, run_problem)


if __name__ == "__main__":
    main()
(e.g. "ALL", "TEST").'''
def parse_options():
    parser = OptionParser("usage: %prog [options] [INPUT ...]",
                          description=HELP)
    parallel.populate_option_parser(parser)
    parser.add_option(
        "--relax", help="generate relaxed problem",
        action="store_true", default=False, dest="relax")
    options, args = parser.parse_args()
    options.suite = suites.build_suite(args)
    return options

    
if __name__ == "__main__":
    options = parse_options()

    def run_problem(problem, log_func):
        log_func("Translating %s..." % problem)
        success = actions.do_translate(
            problem, generate_relaxed_problem=options.relax)
        if not success:
            return "Translating %s failed, skipping preprocess." % problem
            
        log_func("Preprocessing %s..." % problem)
        success = actions.do_preprocess(problem)
        if not success:
            return "Preprocessing %s failed." % problem
        return None

    parallel.run_jobs(options.jobs, options.suite, run_problem)
Example #4
0
            exp[key] = update_dict[key]
    

def read_experiment_file(filename):
    glob = {}
    execfile(filename, glob, EXPERIMENT)

def main():
    options = parse_options()
    setup_experiment_settings(options)

    jobs = [(problem, config)
            for problem in EXPERIMENT["suite_tasks"]
            for config in EXPERIMENT["configurations"]]

    print jobs
        
    def run_problem((problem, config), log_func):
        log_func("Solving %s with %s..." % (problem, config))
        err_msg = actions.do_search(problem, config, EXPERIMENT["timeout"], EXPERIMENT["memory"],
                                    EXPERIMENT["debug"])
        return err_msg
   
    tools.log("Solving %d problems in %d configurations." % (
        len(EXPERIMENT["suite_tasks"]), len(EXPERIMENT["configurations"])))
    parallel.run_jobs(options.jobs, jobs, run_problem)


if __name__ == "__main__":
    main()