toulbar2
Modules
Here is a list of all modules:
Virtual Arc Consistency enforcing
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
Backtrack management
Generated by
1.8.13