Menu

choco 3 and occurrence constraint

meriam
2014-10-27
2014-10-27
  • meriam

    meriam - 2014-10-27

    Hi,
    I am researching on the CSP problems with choco 3.
    I would like to use this constraint occurrence(int z, IntegerVariable[] x, int v) that states that z (int) is equal to the number of elements in x (IntegerVariable[]) with value v (int).
    Thank you for your attention.

     
  • Charles Prud'homme

    Hi Meriam,

    Did you dl the v3.2.1 version of choco. A documentation comes with the distribution in which the constraints avaialable in choco3 are listed.
    The occurrence constraint is named AMONG in choco3.

    Hope it helps,
    CP
    NB: please, go to https://github.com/chocoteam/choco3 to post questions relative to choco3.

     

Log in to post a comment.