diff --git a/go.mod b/go.mod
index eb00521f..ad505d74 100644
--- a/go.mod
+++ b/go.mod
@@ -8,7 +8,6 @@ require (
 	github.com/asdine/storm v0.0.0-20190418133842-e0f77eada154
 	github.com/briandowns/spinner v1.7.0
 	github.com/cavaliercoder/grab v2.0.0+incompatible
-	github.com/crillab/gophersat v1.1.7
 	github.com/docker/docker v0.7.3-0.20180827131323-0c5f8d2b9b23
 	github.com/ecooper/qlearning v0.0.0-20160612200101-3075011a69fd
 	github.com/ghodss/yaml v1.0.0
@@ -21,6 +20,7 @@ require (
 	github.com/marcsauter/single v0.0.0-20181104081128-f8bf46f26ec0
 	github.com/mattn/go-isatty v0.0.10 // indirect
 	github.com/mudler/docker-companion v0.4.6-0.20191110154655-b8b364100616
+	github.com/mudler/gophersat v1.1.5-0.20200211080010-645700b4b7c0
 	github.com/onsi/ginkgo v1.10.1
 	github.com/onsi/gomega v1.7.0
 	github.com/otiai10/copy v1.0.2
diff --git a/go.sum b/go.sum
index 0c447d04..46c9eb1b 100644
--- a/go.sum
+++ b/go.sum
@@ -53,8 +53,6 @@ github.com/cpuguy83/go-md2man v1.0.10/go.mod h1:SmD6nW6nTyfqj6ABTjUi3V3JVMnlJmwc
 github.com/cpuguy83/go-md2man/v2 v2.0.0-20190314233015-f79a8a8ca69d h1:U+s90UTSYgptZMwQh2aRr3LuazLJIa+Pg3Kc1ylSYVY=
 github.com/cpuguy83/go-md2man/v2 v2.0.0-20190314233015-f79a8a8ca69d/go.mod h1:maD7wRr/U5Z6m/iR4s+kqSMx2CaBsrgA7czyZG/E6dU=
 github.com/creack/pty v1.1.7/go.mod h1:lj5s0c3V2DBrqTV7llrYr5NG6My20zk30Fl46Y7DoTY=
-github.com/crillab/gophersat v1.1.7 h1:f2Phe0W9jGyN1OefygKdcTdNM99q/goSjbWrFRjZGWc=
-github.com/crillab/gophersat v1.1.7/go.mod h1:S91tHga1PCZzYhCkStwZAhvp1rCc+zqtSi55I+vDWGc=
 github.com/cyphar/filepath-securejoin v0.2.2 h1:jCwT2GTP+PY5nBz3c/YL5PAIbusElVrPujOBSCj8xRg=
 github.com/cyphar/filepath-securejoin v0.2.2/go.mod h1:FpkQEhXnPnOthhzymB7CGsFk2G9VLXONKD9G7QGMM+4=
 github.com/davecgh/go-spew v1.1.0/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
@@ -177,6 +175,8 @@ github.com/mohae/deepcopy v0.0.0-20170929034955-c48cc78d4826 h1:RWengNIwukTxcDr9
 github.com/mohae/deepcopy v0.0.0-20170929034955-c48cc78d4826/go.mod h1:TaXosZuwdSHYgviHp1DAtfrULt5eUgsSMsZf+YrPgl8=
 github.com/mudler/docker-companion v0.4.6-0.20191110154655-b8b364100616 h1:JwaU8XCtGoY43bo15sKp7qpJ5eaa5vFtRW/oE8yUY/4=
 github.com/mudler/docker-companion v0.4.6-0.20191110154655-b8b364100616/go.mod h1:5uUdicxxQ0H591kxsvbZtgjY11OWVUuDShh08gg60sI=
+github.com/mudler/gophersat v1.1.5-0.20200211080010-645700b4b7c0 h1:isVUEy1f9OHq+nvWVKfSifqC5aKktrQsnkuVUkjKKGU=
+github.com/mudler/gophersat v1.1.5-0.20200211080010-645700b4b7c0/go.mod h1:nT09AIliwEfZq3cJE+u90vftWDejp1H060GuqS//aHk=
 github.com/mwitkow/go-conntrack v0.0.0-20161129095857-cc309e4a2223/go.mod h1:qRWi+5nqEBWmkhHvq77mSJWrCKwh8bxhgT7d/eI7P4U=
 github.com/oklog/ulid v1.3.1/go.mod h1:CirwcVhetQ6Lv90oh/F+FBtV6XMibvdAFo93nm5qn4U=
 github.com/onsi/ginkgo v1.6.0/go.mod h1:lLunBs/Ym6LB5Z9jYTR76FiuTmxDTDusOGeTQH+WWjE=
diff --git a/pkg/package/package.go b/pkg/package/package.go
index dfde4847..2b096e42 100644
--- a/pkg/package/package.go
+++ b/pkg/package/package.go
@@ -25,7 +25,7 @@ import (
 
 	//	. "github.com/mudler/luet/pkg/logger"
 
-	"github.com/crillab/gophersat/bf"
+	"github.com/mudler/gophersat/bf"
 	version "github.com/hashicorp/go-version"
 	"github.com/jinzhu/copier"
 
diff --git a/pkg/solver/resolver.go b/pkg/solver/resolver.go
index f26f8282..170b7f44 100644
--- a/pkg/solver/resolver.go
+++ b/pkg/solver/resolver.go
@@ -18,7 +18,7 @@ package solver
 import (
 	"fmt"
 
-	"github.com/crillab/gophersat/bf"
+	"github.com/mudler/gophersat/bf"
 	"github.com/ecooper/qlearning"
 	pkg "github.com/mudler/luet/pkg/package"
 	"github.com/pkg/errors"
diff --git a/pkg/solver/solver.go b/pkg/solver/solver.go
index 3abf5846..8b9f1ce6 100644
--- a/pkg/solver/solver.go
+++ b/pkg/solver/solver.go
@@ -20,7 +20,7 @@ import (
 	//. "github.com/mudler/luet/pkg/logger"
 	"github.com/pkg/errors"
 
-	"github.com/crillab/gophersat/bf"
+	"github.com/mudler/gophersat/bf"
 	pkg "github.com/mudler/luet/pkg/package"
 )