Update README.md

mfredrik · web-flow · commit 1c79ab51eccd · 2023-10-27T17:07:18.000-04:00
diff --git a/README.md b/README.md
@@ -1,4 +1,7 @@
 # SMT Layer
+
+**Code coming soon!**
+
 Implementation of SMTLayer in Pytorch with Z3
 This code is the python companion to **Grounding Neural Inference with Satisfiability Modulo Theories**, which is appearing in NeurIPS 2023.
 
