We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 80d6674 commit d511062Copy full SHA for d511062
projects.html
@@ -36,7 +36,7 @@
36
<i>contributes variables and propagators for finite graphs and maps</i>
37
</li>
38
<li>
39
- <a href="http://www.univ-orleans.fr/lifo/Members/vautard/research/qecode/index.html">Qecode</a><br />
+ <a href="https://gitlab.com/Giherem/qecode">Qecode</a><br />
40
(<a href="http://www.univ-orleans.fr/SCIENCES/LIFO/?lang=en">LIFO</a>,
41
<a href="http://www.univ-orleans.fr/">University of Orléans</a>, France)<br />
42
<i>Qecode is a solver for quantified constraint satisfaction problems with restricted quantification built on top of Gecode.</i>
0 commit comments