@@ -0,0 +1,5 @@
+# Logical programming
+
+Repository related to LPROG Centrale Nantes subject
+You need `clingo` and `clasp`