diff --git a/build-constraints.yaml b/build-constraints.yaml
index ef50c9b9..12b205ac 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3250,6 +3250,9 @@ packages:
     "Matt Noonan <matt.noonan@gmail.com> @matt-noonan":
         - justified-containers
 
+    "Levent Erkok <erkokl@gmail.com> @LeventErkok":
+        - sbv
+
     # If you stop maintaining a package you can move it here.
     # It will then be disabled if it starts causing problems.
     # See https://github.com/fpco/stackage/issues/1056
@@ -3710,7 +3713,6 @@ expected-test-failures:
     - rethinkdb
     - rethinkdb-client-driver
     - riak
-    - sbv # needs z3 >= 4.5 (Xenial has 4.4)
     - serialport # "The tests need two serial ports as command line arguments" https://github.com/jputcu/serialport/issues/30
     - serversession-backend-redis # redis
     - shake # Needs ghc on $PATH with some installed haskell packages