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

(!****************************************************************
   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