diff --git a/package.json b/package.json
index 94fed95..23ddc4a 100644
--- a/package.json
+++ b/package.json
@@ -1,7 +1,7 @@
 {
   "name": "@problem-solving/sat",
   "description": "Boolean formula satisfiability algorithms for JavaScript",
-  "version": "4.0.0",
+  "version": "4.0.1",
   "license": "AGPL-3.0",
   "author": "make-github-pseudonymous-again",
   "homepage": "https://computational-problem-solving.github.io/sat",