Class RunSolver

java.lang.Object
org.jacop.jasat.core.RunSolver

public final class RunSolver extends Object
The main class for the SAT solver when it is used standalone (without being controlled by a master).
Version:
4.8
  • Field Details

  • Constructor Details

    • RunSolver

      public RunSolver()
  • Method Details

    • main

      public static void main(String[] args)
      launch the solver on a file, given by command line parameters
      Parameters:
      args - command line arguments
    • readFile

      private static InputStream readFile()
      parse the file which name is filename, and returns a stream on success
      Returns:
      an input stream for the content of the file
    • protectOnTermination

      private static void protectOnTermination(Core core)
      on forced exit, print solution