View Javadoc

1   package org.sat4j;
2   
3   import org.sat4j.reader.OPBReader2007;
4   import org.sat4j.reader.Reader;
5   import org.sat4j.specs.ISolver;
6   
7   public class LanceurPseudo2007 extends LanceurPseudo2005 {
8   
9   	/**
10  	 * 
11  	 */
12  	private static final long serialVersionUID = 1L;
13  	
14  	public LanceurPseudo2007() {
15  		// TODO Auto-generated constructor stub
16  	}
17      /*
18       * (non-Javadoc)
19       * 
20       * @see org.sat4j.Lanceur#createReader(org.sat4j.specs.ISolver)
21       */
22      @Override
23      protected Reader createReader(ISolver solver, String problemname) {
24          return new OPBReader2007(solver);
25      }
26      /**
27       * Lance le prouveur sur un fichier Dimacs
28       * 
29       * @param args
30       *            doit contenir le nom d'un fichier Dimacs, eventuellement
31       *            compress?.
32       */
33      public static void main(final String[] args) {
34          final AbstractLauncher lanceur = new LanceurPseudo2007();
35          lanceur.run(args);
36          System.exit(lanceur.getExitCode().value());
37      }
38  
39  }