first commit

dmeoli · dmeoli · commit a5f8e6523720 · 2021-07-18T20:19:58.000+02:00
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,9 @@
+[submodule "NeuroSAT"]
+	path = NeuroSAT
+	url = https://github.com/dmeoli/NeuroSAT
+[submodule "GameSAT"]
+	path = GameSAT
+	url = https://github.com/dmeoli/GameSAT
+[submodule "GraphQSAT"]
+	path = GraphQSAT
+	url = https://github.com/dmeoli/GraphQSAT
diff --git a/GameSAT b/GameSAT
@@ -0,0 +1 @@
+Subproject commit 0edcb6fa50ca97942e94142d9462b293c2f661ff
diff --git a/GraphQSAT b/GraphQSAT
@@ -0,0 +1 @@
+Subproject commit 54f71f5e3ec484c04d3ccc049129e1e0315b9592
diff --git a/NeuroSAT b/NeuroSAT
@@ -0,0 +1 @@
+Subproject commit 2f81012b347d6f7c620b5dd925ab7de052b1eb0f
