It is not possible to add the new link because it would replace an existing, longer link.
Line 13: | Line 13: | ||
; Lists |
; Lists |
||
* |
* List of [[constraint programming]] languages |
||
* [[List of emerging technologies]] |
* [[List of emerging technologies]] |
||
* [[List of SMT solvers]] |
* [[List of SMT solvers]] |