Post

Jip J. Dekker
@dekker.one

1/ Excited to share the first public release of the **Huub** solver: v100.0.0 🚀 A modern CP+SAT solver framework, written in Rust. 🥉 3rd place in the MiniZinc Challenge 🔗 huub.solutions

0 reposts4 likes

Jip J. Dekker
@dekker.one

2/ Huub is designed as both for MiniZinc and as a standalone Rust library for building custom solvers. It’s built to be flexible and extensible — making it easy to experiment with and add new functionality. Under the hood: - IPASIR-UP (swapping SAT solvers) - modern SAT features (from CaDiCaL)

Jip J. Dekker
@dekker.one

3/ The version number is a small tribute: Huub is named after my grandfather, who would have turned 100 this year. Big thanks to the team, Allen Z. Zong, Peter J. Stuckey, and everyone who contributed along the way. This work was supported by @optima-arc.bsky.social an Amazon Research Award.