Collection of classes that provide the top-level solving capabilities. More...

Collection of classes that provide the top-level solving capabilities.