diff --git a/.gitmodules b/.gitmodules
deleted file mode 100644
index 30d0d23..0000000
--- a/.gitmodules
+++ /dev/null
@@ -1,20 +0,0 @@
-[submodule "software/gecode_on_record"]
-	path = software/gecode_on_record
-	url = git@github.com:Dekker1/gecode.git
-	branch = test/on_restart_record
-[submodule "software/gecode_on_replay"]
-	path = software/gecode_on_replay
-	url = git@github.com:Dekker1/gecode.git
-	branch = test/on_restart_replay
-[submodule "software/gecode"]
-	path = software/gecode
-	url = git@github.com:Dekker1/gecode.git
-	branch = feature/on_restart
-[submodule "software/chuffed"]
-	path = software/chuffed
-	url = git@github.com:Dekker1/chuffed.git
-	branch = feature/on_restart
-[submodule "software/minizinc"]
-	path = software/minizinc
-	url = git@github.com:Dekker1/libminizinc.git
-	branch = feature/on_restart
diff --git a/software/chuffed b/software/chuffed
deleted file mode 160000
index 4b88dae..0000000
--- a/software/chuffed
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 4b88dae8a6c50f327e876ddcccde5bda0b01c4dc
diff --git a/software/gecode b/software/gecode
deleted file mode 160000
index 313e876..0000000
--- a/software/gecode
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 313e87646da4fc2752a70e83df16d993121a8e40
diff --git a/software/gecode_on_record b/software/gecode_on_record
deleted file mode 160000
index 37ed9bd..0000000
--- a/software/gecode_on_record
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 37ed9bda495ea87e63217c19a374b5a93bb0078e
diff --git a/software/gecode_on_replay b/software/gecode_on_replay
deleted file mode 160000
index 8051d92..0000000
--- a/software/gecode_on_replay
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 8051d92b9c89e49cccfbd1c201371580d7703ab4
diff --git a/software/minizinc b/software/minizinc
deleted file mode 160000
index 4f10c82..0000000
--- a/software/minizinc
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 4f10c82056ffcb1041d7ffef29d77a7eef92cf76