This release is continuously updated with the latest development version of the Huub command line interface.

The packages provided here are unstable, and not guaranteed to work. However, they may be useful if you wish to try out upcoming features/bug fixes.

The version of the Huub solver used to conduct the experiments for the CP2025 paper titled “Towards Modern and Modular SAT for LCG”.