The distributed Constraint Solver

General description

Disolver is a C++ constraint-based optimization engine. It can be combined with any MPI library, to seamlessly run on parallel architectures. More precisely, it delivers:

· Complete search. Methods in this category perform tree-based exploration of a problem search space. Disolver provides algorithms for satisfaction testing and optimization.

· Parallel search. This category generalizes the previous algorithms, e.g., parallel branch & bound. It provides advanced load balancing and knowledge-sharing controls.

Reference

Please use this bibtex file to reference the solver.

Availability

Disolver can be licensed for commercial applications. Contact Youssefh at Microsoft dot com for more information.

Revised: Friday, 26 October 2007.