View Javadoc

1   /*******************************************************************************
2    * SAT4J: a SATisfiability library for Java Copyright (C) 2004-2008 Daniel Le Berre
3    *
4    * All rights reserved. This program and the accompanying materials
5    * are made available under the terms of the Eclipse Public License v1.0
6    * which accompanies this distribution, and is available at
7    * http://www.eclipse.org/legal/epl-v10.html
8    *
9    * Alternatively, the contents of this file may be used under the terms of
10   * either the GNU Lesser General Public License Version 2.1 or later (the
11   * "LGPL"), in which case the provisions of the LGPL are applicable instead
12   * of those above. If you wish to allow use of your version of this file only
13   * under the terms of the LGPL, and not to allow others to use your version of
14   * this file under the terms of the EPL, indicate your decision by deleting
15   * the provisions above and replace them with the notice and other provisions
16   * required by the LGPL. If you do not delete the provisions above, a recipient
17   * may use your version of this file under the terms of the EPL or the LGPL.
18   *******************************************************************************/
19  package org.sat4j.csp;
20  
21  import org.sat4j.AbstractLauncher;
22  import org.sat4j.reader.CSPExtSupportReader;
23  import org.sat4j.reader.Reader;
24  import org.sat4j.reader.XMLCSPReader;
25  import org.sat4j.specs.ISolver;
26  
27  public class CSPLauncher extends AbstractLauncher {
28  
29  	/**
30       * 
31       */
32  	private static final long serialVersionUID = 1L;
33  
34  	/*
35  	 * (non-Javadoc)
36  	 * 
37  	 * @see org.sat4j.Lanceur#configureSolver(java.lang.String[])
38  	 */
39  	@Override
40  	protected ISolver configureSolver(String[] args) {
41  		ISolver asolver = SolverFactory.newDefault();
42  		log(asolver.toString(COMMENT_PREFIX));
43  		return asolver;
44  	}
45  
46  	/*
47  	 * (non-Javadoc)
48  	 * 
49  	 * @see org.sat4j.Lanceur#createReader(org.sat4j.specs.ISolver)
50  	 */
51  	@Override
52  	protected Reader createReader(final ISolver aSolver, final String problemname) {
53  		Reader aReader;
54  		if (problemname.endsWith(".txt")) {
55  			aReader = new CSPExtSupportReader(aSolver);
56  		} else {
57  			assert problemname.endsWith(".xml");
58  			aReader = new XMLCSPReader(aSolver);
59  		}
60  		if (System.getProperty("verbose") != null) {
61  			log("verbose mode on");
62  			aReader.setVerbosity(true);
63  		}
64  		return aReader;
65  	}
66  
67  	public static void main(String[] args) {
68  		AbstractLauncher lanceur = new CSPLauncher();
69  		if (args.length != 1) {
70  			lanceur.usage();
71  			return;
72  		}
73  		try {
74  			lanceur.run(args);
75  		} catch (IllegalArgumentException e) {
76  			lanceur.log(">>>> " + e.getMessage() + " <<<<");
77  		}
78  	}
79  
80  	@Override
81  	public void displayLicense() {
82  		super.displayLicense();
83  		log("That software uses the Rhino library from the Mozilla project.");
84  	}
85  
86  	@Override
87  	public void usage() {
88  		System.out.println("Please provide a CSP instance file!"); //$NON-NLS-1$
89  	}
90  
91  	@Override
92  	protected String getInstanceName(String[] args) {
93  		assert args.length == 1;
94  		return args[0];
95  	}
96  
97  }