Skip to content
@huub-solver

Huub

The home of Huub, a Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed

Popular repositories Loading

  1. huub huub Public

    CP+SAT solver framework built to be reliable, performant, and extensible

    Rust 58 13

  2. huub-minizinc-challenge huub-minizinc-challenge Public

    Infrastructure to build the Huub image for it to participate in the MiniZinc Challenge

    Dockerfile

Repositories

Showing 2 of 2 repositories
  • huub Public

    CP+SAT solver framework built to be reliable, performant, and extensible

    huub-solver/huub's past year of commit activity
    Rust 58 MPL-2.0 13 4 5 Updated Sep 22, 2026
  • huub-minizinc-challenge Public

    Infrastructure to build the Huub image for it to participate in the MiniZinc Challenge

    huub-solver/huub-minizinc-challenge's past year of commit activity
    Dockerfile 0 0 0 0 Updated Jun 19, 2026

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…