paradiseo/mo/tutorial/Lesson1/firstImprHC_maxSAT.param
2012-08-30 11:30:11 +02:00

14 lines
695 B
Text

###### General ######
# --help=0 # -h : Prints this message
# --stopOnUnknownParam=1 # Stop if unkown param entered
# --seed=1276179091 # -S : Random number seed
###### Persistence ######
# --in= # -f : Input file of the file in ncf format
# --status=./firstImprHC_maxSAT.status # Status file
###### Representation ######
# --vecSize=20 # -V : Genotype size
# --nbClauses=10 # -m : Number of clauses
# --nbLitt=3 # -k : Number of litteral by clauses