| |||||||||||
| |||||||||||
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
(!****************************************************************
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
| |||||||||||
| © Copyright 2023 Fair Isaac Corporation. |
