Merge branch 'master' of git.wmi.amu.edu.pl:kalmar/GroupsWithPropertyT

This commit is contained in:
kalmarek 2017-09-10 17:11:50 +02:00
parent a29937ad10
commit 1bbee23758

View File

@ -80,7 +80,21 @@ end
function main()
<<<<<<< Updated upstream
parsed_args = parse_commandline()
=======
tol = parsed_args["tol"]
iterations = parsed_args["iterations"]
solver = SCSSolver(eps=tol, max_iters=iterations, verbose=true, linearsolver=SCS.Indirect)
N = parsed_args["N"]
upper_bound = parsed_args["upper-bound"]
name = "SOutF$N"
name = name*"-$(string(upper_bound))"
S() = generating_set_of_SOutF(N)
>>>>>>> Stashed changes
if parsed_args["cpus"] nothing
if parsed_args["cpus"] > cpuinfo_physicalcores()