From 2948d0af765ea00a476830128c038c27691b9096 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Thu, 16 Mar 2017 18:19:40 +0100
Subject: [PATCH] make PropertyT solver agnostic

---
 src/PropertyT.jl | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index a97d2c0..559b0a1 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -2,7 +2,6 @@ module PropertyT
 
 using JLD
 using GroupAlgebras
-import SCS.SCSSolver
 using Memento
 
 const logger = basic_config("info", fmt="{msg}")
@@ -100,8 +99,8 @@ function κandA(name::String, sdp_constraints, Δ::GroupAlgebraElement, solver::
     return κ, A
 end
 
-function check_property_T(name::String, ID, generate_B₄::Function;
-    tol=1e-6, upper_bound=Inf)
+function check_property_T(name::String, ID, generate_B₄::Function,
+    solver, upper_bound, tol=1e-6)
 
     if !isdir(name)
         mkdir(name)
@@ -111,9 +110,6 @@ function check_property_T(name::String, ID, generate_B₄::Function;
     info(logger, "Group: $name")
     info(logger, "Precision: $tol")
 
-    # solver = MosekSolver(INTPNT_CO_TOL_REL_GAP=tol, QUIET=false)
-    solver = SCSSolver(eps=tol, max_iters=1000000, verbose=true)
-
     Δ, sdp_constraints = try
         ΔandSDPconstraints(name)
     catch err