[next] [prev] [prev-tail] [tail] [up]
Logical and conditional constraints use primitive constraints as arguments. In addition, JaCoP allows specification of the reified constraints. For detailed list of these constraints see appendix A.4.
[next] [prev] [prev-tail] [front] [up]