Initializing help system before first use

# and

Purpose
This composite constraint states a conjunction between two constraints C1 and C2 ( C1 ∧ C2). The satisfaction of the resulting constraint is given by the following truth table:

      C1     C2       C1 and C2
      --------------------------
      false  false    false
      false  true     false
      true   false    false
      true   true     true

Synopsis
`C1 and C2`
Arguments

C1 | the left member constraint of the conjunction
C2 | the right member constraint of the conjunction

Return value
A conjunction constraint over C1 and C2
Example
The following example shows how to use the conjunction constraint

    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

Related topics
implies and or
Parent Topic Constraints

© 2001-2026 Fair Isaac Corporation. All rights reserved. This documentation is the property of Fair Isaac Corporation (“FICO”). Receipt or possession of this documentation does not convey rights to disclose, reproduce, make derivative works, use, or allow others to use it except solely for internal evaluation purposes to determine whether to purchase a license to the software described in this documentation, or as otherwise set forth in a written software license agreement between you and FICO (or a FICO affiliate). Use of this documentation and the software described in it must conform strictly to the foregoing permitted uses, and no other use is permitted.