Reliability

Huub is built to behave predictably in practice. It is well-tested, performs state-of-the-art preprocessing before search begins, and is implemented in Rust for a safer and more dependable solver core. The result is a solver you can use with more confidence in production workflows as well as in day-to-day modelling.

Performance

Huub is designed for serious combinatorial workloads, combining strong propagation with modern solving techniques to deliver competitive performance on demanding decision problems. Careful preprocessing, effective propagation, and a solver architecture focused on practical runtime behaviour help Huub scale to harder instances without sacrificing robustness.

Extensible

Huub is designed to be extended where it matters. You can add your own propagators, branchers, and even decision variable views, so the solver can be shaped more closely around your problem than a fixed off-the-shelf workflow allows. At the same time, Huub remains modular and straightforward to integrate into larger systems and decision pipelines.