Class RunSolver


  • public final class RunSolver
    extends java.lang.Object
    The main class for the SAT solver when it is used standalone (without being controlled by a master).
    Version:
    4.7
    • Constructor Detail

      • RunSolver

        public RunSolver()
    • Method Detail

      • main

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

        private static java.io.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