diff --git a/REQUIRE b/REQUIRE
index 208e81f..1aba974 100644
--- a/REQUIRE
+++ b/REQUIRE
@@ -4,3 +4,4 @@ SCS
 GroupAlgebras
 ValidatedNumerics
 JLD
+Memento
diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index b35a947..f2807f8 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -3,6 +3,10 @@ module PropertyT
 using JLD
 using GroupAlgebras
 import SCS.SCSSolver
+using Memento
+
+const logger = basic_config("info"; fmt="[{date}|{level}]: {msg}")
+const solver_logger = basic_config("info")
 
 include("sdps.jl")
 include("checksolution.jl")