Examples from the Xpress Kalis Reference Manual

Covered Topics

• Generic binary and n-ary constraints
  
• All-different constraint: solving an assignment problem
  
• 'abs' and 'distance' constraints
  
• 'distribute' and 'occurrence' constraints
  
• One- and two-dimensional 'element' constraints
  
• Implication and equivalence constraints
  
• Conjunctions and disjunctions (logical 'and' and 'or')
  
• 'cycle' constraint: formulating a TSP problem
  
• 'cumulative' and 'disjunctive' constraints for scheduling and planning problems
  
• 'producer_consumer' constraints: solving a resource-constrained project scheduling problem
  
• Resource profiles
  
• Minimum and maximum constraints
  
• Defining, posting and propagating linear constraints
  
• Non-linear constraints over real-valued decision variables
  
• Branching strategies
  
• Use of callbacks to output the search tree
  
• Working with 'reversible' objects
  
• Defining a linear relaxation