[Choco-users] method Problem.post() gives UnsupportedOperationException!!!

[<ig...@so...>]

this is the stack of the launched exception 

Exception in thread "main" java.lang.UnsupportedOperationException
       at choco.AbstractConstraint.opposite(Unknown Source)
       at 
choco.bool.AbstractLargeBoolConstraintWithCounterOpposite.<init>(Unknown 
Source)
       at choco.bool.LargeDisjunction.<init>(Unknown Source)
       at choco.Problem.makeDisjunction(Unknown Source)
       at choco.Problem.or(Unknown Source)
       at ProvaVincoli.postConstraints(ProvaVincoli.java:40)
       at ProvaVincoli.<init>(ProvaVincoli.java:13)
       at ProvaVincoli.main(ProvaVincoli.java:45) 

 

This is the piece of code: 

//-------------------------------------------------------
import java.io.*;
import java.util.*; 

import choco.*;
import choco.integer.*; 

public class ProvaVincoli {
Problem p = null; 

public ProvaVincoli()
{ p = new Problem();
  postConstraints();
} 


private void postConstraints()
  {int dim = 5;
  Constraint [] c = new Constraint[dim];
  IntVar [] v = new IntVar[dim]; 


   int prezzoMax = 100; 

   c = new Constraint[dim]; 

   IntVar varPrezzoMax = p.makeEnumIntVar("price",prezzoMax,prezzoMax); 

   int prezzoVoloFinale = 98; 

   for(int i=0; i< dim; i++)
      {
            v[i] = p.makeBoundIntVar("V"+i,0,dim-1);
            c[i] = p.ifOnlyIf( p.leq(prezzoVoloFinale , varPrezzoMax) , 
p.eq(v[i], i) ); 

            prezzoVoloFinale++;
      }

   //--now comes the line that launches the exception
   p.post(p.or(c)); 

  } 

public static void main(String []s)
 {new ProvaVincoli();
 } 


}
//------------------------------------------------------- 


someone has any clue? 

thanks