Export Unary Encoding links #232

include/mp/flat/redef/MIP/converter_mip.h

@@ -312,7 +312,18 @@ class MIPFlatConverter
   /// A benefit would be if some solver later supports them natively
   /// (IloDistribute?), now they are always converted below.
   void CreateUnaryEncoding(int var, const SingleVarEqConstMap& map) {
+    // Create links from CondLinEQ's into the dummy UEnc
     auto valnode = MPD( AddConstraint( UnaryEncodingConstraint{{var}} ) );
+    auto& ck = GET_CONSTRAINT_KEEPER(CondLinConEQ);
+    for (const auto& veq : map) {
+      MPD( GetMany2OneLink().AddEntry(
+        { ck.SelectValueNodeRange(veq.second), valnode } ));
+    }
+    // Start AutoLinking from the dummy UEnc into its reformulation
+    pre::AutoLinkScope<Impl> auto_link_scope{
+      *(Impl*)this, valnode
+    };
+    // Create UEncoding
     const Model& model = MP_DISPATCH( GetModel() );
     if (!model.is_integer_var(var))
       MP_RAISE("MP2MIP: Equality encoding: comparing non-integer variables not implemented");

include/mp/valcvt-link.h

@@ -219,7 +219,6 @@ class Many2ManyLink : public BasicLink {
   /// Instead of a new entry, tries to extend the last one
   /// if exists
   void AddEntry(LinkEntry be) {
-    assert(be.first.IsSingleIndex());
     if (entries_.empty() ||
         !(
           (entries_.back().first==be.first   // same sources