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
Jip J. Dekker
@dekker.one
1.2K followers 326 following 61 posts
OPTIMA Research Fellow working on Modelling Decision/Optimization problems, Programming Languages, and AI at Monash University, Melbourne, Australia. MiniZinc developer, CP and SAT researcher. I also talk about music, birds, cycling, and cricket.
