← Back to Discover
huub-solver

huub-solver/huub

RustMPL-2.0active
82Health

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

Stars56
Forks13
Open Issues10
Contributors13
Last Push0d ago

Health Breakdown

Activity
25
Community
25
Maintenance
11
Popularity
20
#boolean-satisfiability#constraint-programming#lazy-clause-generation#minizinc#optimization
View on GitHub ↗Issues (10) ↗Pull Requests ↗

Should you contribute to huub-solver/huub?

huub-solver/huub has a FoundDev health score of 82/100, which puts it in the active-and-maintained tier. The maintainer team is shipping recently, issues are being closed, and a PR you open this week has a realistic chance of being reviewed.

Last push was 0 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in Rust, so prior Rust experience will shorten ramp-up.

Licensed under MPL-2.0, a standard OSI-approved license — safe to contribute to under normal employer IP policies.

Community

huub-solver
huub-solver/huub
RustMPL 2.0
82

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

active
5613 contributors10 issues
0d ago

More Rust repos

MystenLabs
MystenLabs/sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
7.7k97
ProvableHQ
ProvableHQ/snarkOS
A Decentralized Operating System for ZK Applications
4.5k94
foundry-rs
foundry-rs/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
10.6k90