Reference Manual
- Modules
- Variable and cost function modeling
- Solving cost function networks
- Output messages, verbosity options and debugging
- Preprocessing techniques
- Variable and value search ordering heuristics
- Soft arc consistency and problem reformulation
- Virtual Arc Consistency enforcing
- NC bucket sort
- Variable elimination
- Propagation loop
- Backtrack management