Added Savile Row

Author: chschulte

interfaces.html

@@ -37,15 +37,6 @@
     <a href="https://launchpad.net/gecode-python">Gecode bindings for Python</a><br />
     <i>provides Python bindings for the Gecode constraint programming library</i>.
   </li>
-  <li>
-    The <a href="http://www.cs.kuleuven.be/~toms/MCP/">Monadic Constraint Programming Framework</a><br />
-    <i>provides a CP modeling framework for Haskell with Gecode as backend</i>.
-  </li>
-  <li>
-    <a href="http://gecoder.rubyforge.org/">Gecode/R</a><br />
-    <i>provides a modeling interface in Ruby for solving problems using Gecode</i>.
-  </li>
-  <li><a href="http://www.cs.st-andrews.ac.uk/~andrea/tailor/">Tailor</a><br />      <i>translates Essence' models to Gecode programs</i> (among other things).</li>
   <li>The
       <a href="http://www.ps.uni-sb.de/alice/">
       Alice Programming System</a><br />
@@ -70,10 +61,19 @@
 
 
   <p>
-    The following interface to Gecode is no longer available.
+    The following interfaces to Gecode are no longer available.
   </p>
 
   <ul>
+  <li>
+    The Monadic Constraint Programming Framework<br />
+    <i>provides a CP modeling framework for Haskell with Gecode as backend</i>.
+  </li>
+  <li>
+    Gecode/R<br />
+    <i>provides a modeling interface in Ruby for solving problems using Gecode</i>.
+  </li>
+  <li>Tailor<br />      <i>translates Essence' models to Gecode programs</i> (among other things).</li>
   <li>Gecode/J<br />
 	<i>is a Java interface that makes most functionality of Gecode
 	available in Java. You can model problems and implement your

projects.html

@@ -11,9 +11,13 @@
 
 
   <ul>
+  <li><a href="https://savilerow.cs.st-andrews.ac.uk/">Savile Row</a><br />
+      (St. Andrews University, UK)<br />
+      <i>Savile Row translates Essence Prime models for Gecode and several other solvers.</i>
+  </li>
   <li><a href="http://www.minizinc.org/">MiniZinc</a><br />
       (Monash University, Data61 Decision Sciences, University of Melbourne, Australia)<br />
-      <i>MiniZinc is a free and open-source constraint modeling language and its implementation uses Gecode as the defaul sover for MiniZinc models.</i>
+      <i>MiniZinc is a free and open-source constraint modeling language and its implementation uses Gecode as the default sover for MiniZinc models.</i>
   </li>
   <li><a href="https://unison-code.github.io/">Unison</a><br />
       (KTH and RISE SICS, Sweden)<br />