Artifact
Huub: Lazy Clause Generation Solver Software
Authors
Jip J. Dekker 
,
Alexey Ignatiev ,
Peter J. Stuckey ,
Allen Z. Zhong
- Part of: Collection: Supplementary Materials
- License: Mozilla Public License 2.0
- Publication Date: 2025-08-08
Author Details
- Department of Data Science and Artificial Intelligence, Monash University, Clayton, Australia
- ARC Training Centre in Optimisation Technologies, Integrated Methodologies, and Applications (OPTIMA), Melbourne, Australia
- Department of Data Science and Artificial Intelligence, Monash University, Clayton, Australia
- Department of Data Science and Artificial Intelligence, Monash University, Clayton, Australia
- ARC Training Centre in Optimisation Technologies, Integrated Methodologies, and Applications (OPTIMA), Melbourne, Australia
Content
- Software (Source Code): https://github.com/huub-solver/huub
-
archived version
Version/Status
- Content created at: 2024-01-17
- Status: Active (at the time of publication 2025-08-08)
Description
A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)