Package org.jacop.jasat.core
Class RunSolver
java.lang.Object
org.jacop.jasat.core.RunSolver
The main class for the SAT solver when it is used standalone (without being
controlled by a master).
- Version:
- 4.9
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static OptParse.OptHandler<Config>
private static String
private static OptParse.OptHandler<Config>
private static String
private static OptParse.OptHandler<Config>
private static OptParse.OptHandler<Config>
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic void
launch the solver on a file, given by command line parametersprivate static void
protectOnTermination
(Core core) on forced exit, print solutionprivate static InputStream
readFile()
parse the file which name is filename, and returns a stream on success
-
Field Details
-
filename
-
parser
-
helpString
-
verboseHandler
-
helpHandler
-
timeoutHandler
-
debugHandler
-
-
Constructor Details
-
RunSolver
public RunSolver()
-
-
Method Details
-
main
launch the solver on a file, given by command line parameters- Parameters:
args
- command line arguments
-
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
on forced exit, print solution
-