diff --git a/nnf-dm b/nnf-dm
index de325a4..84fb1f6 160000
--- a/nnf-dm
+++ b/nnf-dm
@@ -1 +1 @@
-Subproject commit de325a4553c17c718e6f63018155e7e952eb46a0
+Subproject commit 84fb1f6c5ba8a8fbcfd714f1376ba7f52496a150
diff --git a/nnf-integration-test b/nnf-integration-test
index 0d5059a..2235f82 160000
--- a/nnf-integration-test
+++ b/nnf-integration-test
@@ -1 +1 @@
-Subproject commit 0d5059aa6b1847ec043cbfdfc3f9dcc3ce7fb166
+Subproject commit 2235f8253351c7fc0aa8fe155de282c4b10f7c40
diff --git a/nnf-sos b/nnf-sos
index e03b38f..b6a1ac5 160000
--- a/nnf-sos
+++ b/nnf-sos
@@ -1 +1 @@
-Subproject commit e03b38f0d34153c2f16f532beb57bc984099aeec
+Subproject commit b6a1ac55c9e4ff0b38c5021526ae7e36b232a7a4