Easy to use
Huub makes it easy to model and solve complex problems, including scheduling, configuration, resource allocation, and more.
Welcome to Huub
Huub is a blazing fast Lazy Clause Generation (LCG) solver and solving library, written in Rust. It can be used to solve all kinds of decision and optimization problems, such as scheduling, resource allocation, and more.
Why use Huub?
Section titled “Why use Huub?”Blazing fast
With its powerful planning AI capabilities, Huub is among the fastest optimization solvers.
Customizable
Do you think you know how to better solve your problem? Huub allows you to add your own logic into the solving process.
Well documented and supported
We are commited to providing comprehensive documentation and support for Huub users. In addition to the website, we recommend users to read the reference documentation and ask questions on our GitHub Discussions.