https://sourceforge.net/p/m3info/code-tp/Recent changes to SVN repository in m3info projectenWed, 29 May 2013 20:42:03 -0000https://sourceforge.net/p/m3info/code-tp/82/<div class="markdown_content"><p>vrac et compagnie<br /><a href="/p/m3info/code-tp/82/">View Changes</a></p></div>luc-chanteWed, 29 May 2013 20:42:03 -0000https://sourceforge.net/p/m3info/code-tp/82/https://sourceforge.net/p/m3info/code-tp/81/<div class="markdown_content"><p>script qui génére des données et un fichier gnuplot pour l'affichage des resultats<br /><a href="/p/m3info/code-tp/81/">View Changes</a></p></div>luc-chanteThu, 23 May 2013 14:42:56 -0000https://sourceforge.net/p/m3info/code-tp/81/https://sourceforge.net/p/m3info/code-tp/80/<div class="markdown_content"><p>suppression des iterateur (responsable de l'itulisation memoire)<br /><a href="/p/m3info/code-tp/80/">View Changes</a></p></div>luc-chanteWed, 22 May 2013 07:48:28 -0000https://sourceforge.net/p/m3info/code-tp/80/https://sourceforge.net/p/m3info/code-tp/79/<div class="markdown_content"><p>Le code semble bien fonctionner @TODO s'inspirer du code de minisat pour simplifier les clauses si possible car il faut limiter l'utilisation memoire qui est enorme'<br /><a href="/p/m3info/code-tp/79/">View Changes</a></p></div>luc-chanteSun, 19 May 2013 16:27:26 -0000https://sourceforge.net/p/m3info/code-tp/79/https://sourceforge.net/p/m3info/code-tp/<div class="markdown_content"><p>Réécriture du code en vala, moins de problèmes de gestion de mémoire dans les listes des littéraux et clauses.<br /><a href="/p/m3info/code-tp/78/">View Changes</a></p></div>luc-chanteFri, 26 Apr 2013 08:34:45 -0000https://sourceforge.neta2a1f2293bdc5c3760d52b50086fcc0a2b42dc3chttps://sourceforge.net/p/m3info/code-tp/<div class="markdown_content"><p>Fin du code pour l'implementation de WalkHorn Il manque des commentaires Aucun test sur la validité de l'implémantation n'a été fait<br /><a href="/p/m3info/code-tp/77/">View Changes</a></p></div>luc-chanteWed, 24 Apr 2013 19:26:45 -0000https://sourceforge.net3e74851939ceb4dac16d3e468769375acb06f98chttps://sourceforge.net/p/m3info/code-tp/<div class="markdown_content"><p>projet TER Benchs/ -&gt; fichiers de formules sat fichiers/ -&gt; pdf, doc sur le projet src/ -&gt; ... sources<br /><a href="/p/m3info/code-tp/76/">View Changes</a></p></div>luc-chanteMon, 22 Apr 2013 09:19:49 -0000https://sourceforge.nete5f0a716d0b121ad905cd1d6f0f14259f09400fdhttps://sourceforge.net/p/m3info/code-tp/<div class="markdown_content"><p>generateur de graphe<br /><a href="/p/m3info/code-tp/75/">View Changes</a></p></div>luc-chanteTue, 16 Apr 2013 08:43:28 -0000https://sourceforge.net859486f6be5dd9598ac251b2d312582b3afe9b8chttps://sourceforge.net/p/m3info/code-tp/<div class="markdown_content"><p>importation du projet de complexite depuis assembla<br /><a href="/p/m3info/code-tp/74/">View Changes</a></p></div>luc-chanteTue, 16 Apr 2013 08:40:32 -0000https://sourceforge.net4aee2c7281b8c32f6d10a91db15d0710d873c926https://sourceforge.net/p/m3info/code-tp/<div class="markdown_content"><p>Suppression du vieux code de complexite pour l'importation d'assembla<br /><a href="/p/m3info/code-tp/73/">View Changes</a></p></div>luc-chanteTue, 16 Apr 2013 08:23:33 -0000https://sourceforge.net8745bce09452672df75f7919ef795902fa850c1e