diff --git a/nnf-dm b/nnf-dm
index 28fb586..500f5a8 160000
--- a/nnf-dm
+++ b/nnf-dm
@@ -1 +1 @@
-Subproject commit 28fb586a512e0322b4249f2ee0a827f23c0f0a19
+Subproject commit 500f5a896291a1803bbea438417831c9f14a2918
diff --git a/nnf-integration-test b/nnf-integration-test
index eb3e025..c8a5898 160000
--- a/nnf-integration-test
+++ b/nnf-integration-test
@@ -1 +1 @@
-Subproject commit eb3e02535e92d4c1a1acdf6d265fbe2ea2e67d22
+Subproject commit c8a5898409c1a464a72ea0c2673563c848bf9f4f
diff --git a/nnf-sos b/nnf-sos
index 95022f7..8f546cc 160000
--- a/nnf-sos
+++ b/nnf-sos
@@ -1 +1 @@
-Subproject commit 95022f759995a0a7554fa54f2f7142dd5d97e7f0
+Subproject commit 8f546cc95d09e8622c4d511c0035c8aab4905f2f