combisat

#!/usr/bin/python

from __future__ import with_statement

import optparse
import sys

from optparse import OptionParser

from solvers import PortfolioSolver
from solvers import ExternalSolver

from dimacs import parseDIMACSFormula
from dimacs import emitDIMACSSolution

def main():
    # Read the command line arguments
    parser = OptionParser()
    parser.add_option("-s", "--solver", action="append", dest="solver_paths")
    
    (options, args) = parser.parse_args()
    
    if len(args) != 1:
        parser.print_usage(sys.stderr)
        exit(1)
        
    if options.solver_paths is None:
        sys.stderr.write("You need to specify at least one solver.\n")
        exit(1)
        
    formula = None
        
    with open(args[0]) as inputFile:
        formula = parseDIMACSFormula(inputFile)
        
    solvers = []
    
    for path in options.solver_paths:
        solvers.append(ExternalSolver(path))
        
    portfolio = PortfolioSolver(solvers)
    
    solution = portfolio.solve(formula)
    
    emitDIMACSSolution(sys.stdout, solution)


if __name__ == "__main__":
    main()