Rename files

This commit is contained in:
2021-08-18 17:14:35 -05:00
parent af3a5a69f0
commit 9c05e9d66a
11 changed files with 9 additions and 9 deletions

View File

@@ -22,11 +22,11 @@ global Hdf5Sample = PyNULL()
include("utils/log.jl")
include("utils/exceptions.jl")
include("instance/abstract.jl")
include("instance/jump.jl")
include("instance/file.jl")
include("solvers/jump.jl")
include("solvers/learning.jl")
include("instance/abstract_instance.jl")
include("instance/jump_instance.jl")
include("instance/file_instance.jl")
include("solvers/jump_solver.jl")
include("solvers/learning_solver.jl")
include("solvers/macros.jl")
include("utils/benchmark.jl")