Automatic relaxations
The following constraints can be relaxed automatically with Xpress Kalis :
- Linear constraints
- all-different
- occurrence
- distribute
- Min/Max
- absolute value
- distance
- element
- cycle
- logical (implies, or ,and ,equiv)
To obtain an automatic relaxation of the whole problem, Xpress Kalis takes the intersection of the relaxations of the constraints of the constraint programming model. Such a relaxation is obtained by a simple call to the function cp_get_linrelax
Note that this method is parameterized with an integer parameter since Xpress Kalis offers several relaxations for each constraint. In the present case, 0 means an LP oriented relaxation and 1 means a MIP oriented relaxation.
© 2001-2020 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.