From c5fc33c2eda7c2bb45c3bafbe74827f17e215fb8 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Fri, 4 Mar 2016 17:28:01 +0100
Subject: [PATCH] Add a todo file.

---
 TODO | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 TODO

diff --git a/TODO b/TODO
new file mode 100644
index 0000000..b6f51d3
--- /dev/null
+++ b/TODO
@@ -0,0 +1,12 @@
+Pour éviter les phases et le Ranking :
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+partir de l'état initial.
+
+Exclure tous les états qui ne sont pas trivialement satisfiables.
+
+Requêtes N-aires.
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~:
+
+Garder pour chaque variable un ensemble de candidats.
+et propager.
\ No newline at end of file
-- 
2.17.1