FICO
FICO Xpress Optimization Examples Repository
FICO Optimization Community FICO Xpress Optimization Home
Back to examples browserPrevious exampleNext example

Conjunctions and disjunctions (logical 'and' and 'or')

Description
Defining conjunctions and disjunctions (logical 'and' and 'or').

Further explanation of this example: 'Xpress Kalis Mosel Reference Manual'


Source Files
By clicking on a file name, a preview is opened at the bottom of this page.
conjdisj.mos[download]





conjdisj.mos

(!****************************************************************
   CP example problems
   ===================
   
   file conjdisj.mos
   `````````````````
   Logical and/or constraints.

   (c) 2008 Artelys S.A. and Fair Isaac Corporation
       Creation: 2005, rev. Mar. 2013
*****************************************************************!)
model "Logical constraints"
 uses "kalis"

! Default bounds for all variables
 setparam("KALIS_DEFAULT_LB", 0); setparam("KALIS_DEFAULT_UB", 1)

 declarations
  a,b: cpvar  
 end-declarations
 
 setname(a,"a")
 setname(b,"b")
 
 writeln(a,b)
 (a >= 1) and (b >= 1) or (a <= 0) and (b >= 1)
 
 while (cp_find_next_sol)  
  writeln("a:", getsol(a), " b:", getsol(b))

end-model

Back to examples browserPrevious exampleNext example