toulbar2
Modules
Here is a list of all modules:
Preprocessing techniques
Output messages, verbosity options and debugging
NC bucket sort
Variable elimination
Soft arc consistency and problem reformulation
Propagation loop
Variable and value search ordering heuristics
Weighted Constraint Satisfaction Problem file format (wcsp)
Variable and cost function modeling
Solving cost function networks
VAC
Backtrack management
Generated by
1.8.20