mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-12-25 18:25:30 +01:00
Threads slowed constraints generation
This commit is contained in:
parent
a328502773
commit
5286880cda
@ -22,7 +22,7 @@ function constraints_from_pm(pm, total_length)
|
||||
n = size(pm,1)
|
||||
constraints = constraints = [Array{Int,1}[] for x in 1:total_length]
|
||||
for j in 1:n
|
||||
Threads.@threads for i in 1:n
|
||||
for i in 1:n
|
||||
idx = pm[i,j]
|
||||
push!(constraints[idx], [i,j])
|
||||
end
|
||||
|
Loading…
Reference in New Issue
Block a user