accept parameter N

This commit is contained in:
kalmar 2017-06-06 17:53:50 +02:00
parent d078eb73b7
commit 9692415674

View File

@ -159,10 +159,10 @@ function parse_commandline()
help = "Set number of cpus used by solver (default: auto)" help = "Set number of cpus used by solver (default: auto)"
arg_type = Int arg_type = Int
required = false required = false
# "-N" "-N"
# help = "Consider automorphisms of free group on N generators (default: N=3)" help = "Consider automorphisms of free group on N generators (default: N=2)"
# arg_type = Int arg_type = Int
# default = 2 default = 2
end end
return parse_args(s) return parse_args(s)