Commit 8416fda6 authored by Pierre Letouzey's avatar Pierre Letouzey
Browse files

projet : fix url

parent f78122b8
......@@ -9,7 +9,7 @@ Note: le sous-répertoire `ocaml` contient:
Plusieurs possibilités au choix:
- Compression / décompression LZW (Lempel-Ziv-Welch) : voir [lzw.pdf](../blob/master/projet/LZW/lzw.pdf). Il est aussi possible de considérer d'autres algorithmes de compression à la place (Huffman, ...).
- Compression / décompression LZW (Lempel-Ziv-Welch) : voir [lzw.pdf](projet/LZW/lzw.pdf). Il est aussi possible de considérer d'autres algorithmes de compression à la place (Huffman, ...).
- Manipulation de formules booléennes et recherche de tautologies ou de satisfiabilité. Une version naïve est déjà bien. Extensions possibles : méthode de Davis-Putnam, ou bien normalisation de formules via des BDD, ...
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment