From 34066a712890a2ae77876bd485d9d6039e196324 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Wed, 8 Aug 2018 00:26:39 +0200
Subject: [PATCH] global usings

---
 main.jl | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/main.jl b/main.jl
index 57f25e0..9dfb776 100644
--- a/main.jl
+++ b/main.jl
@@ -1,3 +1,8 @@
+using AbstractAlgebra
+using Nemo
+using PropertyT
+using Groups
+
 using SCS.SCSSolver
 # using Mosek
 # using CSDP