Class | Description |
---|---|
BoundSearch |
BEWARE: ONLY FOR INTEGERS (lets the default search work for other variable types)
Search heuristic combined with a constraint performing strong consistency on the next decision variable
and branching on the value with the best objective bound (for optimization) and branches on the lower bound for SAT problems.
|
Search |
Copyright © 2018. All rights reserved.