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 52 11

  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

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…