Jip J. Dekker @dekker.one · May 14

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

4 likes 1 replies

?

Replies

Jip J. Dekker · May 14

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)