Enumeration
This chapter gives an overview on different issues related to the definition of search strategies with Xpress Kalis, namely
- predefined search strategies,
- means of interrupting and restarting the enumeration,
- search callbacks, and
- the definition of user search strategies.
The last section discusses what may be done in the case of an infeasible constraint system:
- analyzing infeasibility and handling conflicts
© 2001-2019 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.