org.sat4j
Class Lanceur

java.lang.Object
  org.sat4j.Lanceur

Direct Known Subclasses:

LanceurPseudo2005

public class Lanceur
extends java.lang.Object

This class is used to launch the SAT solvers from the command line. It is compliant with the SAT competition (www.satcompetition.org) I/O format. The launcher is to be used as follows:

   [solvername] finalname [key=value]*
 

If no solver name is given, then the default solver of the solver factory is used (@see org.sat4j.core.ASolverFactory#defaultSolver()).

Author:

leberre

Nested Class Summary

static class

Lanceur.ExitCode Enumeration allowing to manage easily exit code for the SAT and PB Competitions.

Method Summary

static void	main(java.lang.String[] args) Lance le prouveur sur un fichier Dimacs.
void	run(java.lang.String[] args)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

main

public static void main(java.lang.String[] args)

Lance le prouveur sur un fichier Dimacs.

Parameters:

args - doit contenir le nom d'un fichier Dimacs, eventuellement compress?.

run

public void run(java.lang.String[] args)