diff --git a/ChangeLog.md b/ChangeLog.md
index d47e0a4..53c50fe 100644
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -2,6 +2,7 @@
 
 ## Unreleased changes
 
+- Remove QuickCheck from the library dependencies while retaining it for property tests. ([#24](https://github.com/rasheedja/simplex-method/pull/24))
 - `twoPhaseSimplex` now takes a `VarDomainMap` as its first argument
   - Specify each variable's domain using smart constructors: `nonNegative`, `unbounded`, `lowerBoundOnly`, `upperBoundOnly`, or `boundedRange`
   - Variables not in the `VarDomainMap` are assumed to be `unbounded`
diff --git a/simplex-method.cabal b/simplex-method.cabal
index 5e4e4c8..cde2462 100644
--- a/simplex-method.cabal
+++ b/simplex-method.cabal
@@ -58,7 +58,6 @@ library
     , text >= 2.0.2 && < 2.2
     , time >= 1.12.2 && < 1.15
     , monad-logger >= 0.3.40 && < 0.4
-    , QuickCheck >= 2.14 && < 2.17
   default-language: Haskell2010
 
 test-suite simplex-haskell-test