toulbar2
Topics
Here is a list of all topics with brief descriptions:
 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