mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-12-25 18:25:30 +01:00
final integration via includes
This commit is contained in:
parent
be1c473e4a
commit
4bde63f580
@ -14,9 +14,6 @@ using Memento
|
||||
const logger = Memento.config("info", fmt="{msg}")
|
||||
const solver_logger = Memento.config("info", fmt="{msg}")
|
||||
|
||||
include("sdps.jl")
|
||||
include("checksolution.jl")
|
||||
|
||||
function pmΔfilenames(name::String)
|
||||
if !isdir(name)
|
||||
mkdir(name)
|
||||
@ -222,4 +219,8 @@ function check_property_T(name::String, S, Id, solver, upper_bound, tol, radius)
|
||||
return false
|
||||
end
|
||||
|
||||
include("SDPs.jl")
|
||||
include("CheckSolution.jl")
|
||||
include("Orbit-wise.jl")
|
||||
|
||||
end # module Property(T)
|
||||
|
Loading…
Reference in New Issue
Block a user