From: Kim Nguyễn <kn@lri.fr>
Date: Fri, 4 Mar 2016 16:28:01 +0000 (+0100)
Subject: Add a todo file.
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=c5fc33c2eda7c2bb45c3bafbe74827f17e215fb8

Add a todo file.
---

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