1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-10-15 08:05:35 +02:00

minimize imports

This commit is contained in:
kalmarek 2019-01-14 17:46:36 +01:00
parent 80ac135f59
commit 48c43b4c59

View File

@ -10,11 +10,11 @@ using Dates
using Groups
using GroupRings
import AbstractAlgebra: Group, GroupElem, Ring, perm
using JLD
using JuMP
import AbstractAlgebra: Group, Ring, perm
import MathProgBase.SolverInterface.AbstractMathProgSolver
include("laplacians.jl")